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