History

for article: Symposium on Logic in Computer Science