Text this: Computational aspects of an order-sorted logic with term declarations /