Login / Signup

Universally Quantified Queries in Language with Order-Sorted Logics.

Stefan DeckerChristoph Lingenfelder
Published in: GWAI (1992)
Keyphrases