"Quantifers and the System KE: Some Surprising Results."

Uwe Egly (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics