"Translating between Language and Logic: What Is Easy and What Is Difficult."

Aarne Ranta (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics