Reihe Lecture Notes in Artificial IntelligenceManfred Schmidt-Schauß × Computational Aspects of an Order-Sorted Logic with Term Declarations Manfred Schmidt-SchaußSpringer BerlineBook2005 Computational Aspects of an Order-Sorted Logic with Term Declarations Manfred Schmidt-SchaußSpringer BerlinSoftcover1989