Computational Aspects of an Order-Sorted Logic with Term Declarations - Schmidt-Schau, Manfred (Lecture Notes in Computer Science Ser.)