Quantifers and the System KE: Some Surprising Results.

Uwe Egly

Browse the full CSL paper archive.