Universally Quantified Queries in Language with Order-Sorted Logics.

Stefan Decker, Christoph Lingenfelder

Browse the full KI paper archive.