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