Title: Computational aspects of an order-sorted logic with term declarations
Subjects: Sorting (Electronic computers), Symbolic and mathematical Logic