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

by M Schmidt-Schauss