Computational Aspects of an Order-sorted Logic with Term Declarations (1989)

by M Schmidt-Schauß
Venue:Lecture Notes on Artificial Intelligence, LNAI 395