Christoph Beierle Ulrich Hedtstück Udo Pletat Peter H. Schmitt Jörg H. Siekmann An Order-Sorted Logic for Knowledge Representation Systems. 149-191 1992 55 Artif. Intell. 2 db/journals/ai/ai55.html#BeierleHPSS92