Computational aspects of an order-sorted logic with term declarations - Schmidt-Schauß, Manfred (1988)