History

for article: Institute for Logic, Language and Computation