Computational Aspects of an Order-Sorted Logic with Term Declarations (1989)

by Manfred Schmidt-Schau