1-1 of 1 Books
Computational aspects of an order-sorted logic with term declarations
By Manfred Schmidt-Schauss