Computational Aspects of an Order-sorted Logic With Term Declarations - Manfred Schmidt-Schauß