Uwe Egly Quantifers and the System KE: Some Surprising Results. 90-104 1998 conf/csl/1998 CSL db/conf/csl/csl98.html#Egly98 http://dx.doi.org/10.1007/10703163_7