TY  - BOOK
AU  - Schmidt-SchauB, M.
TI  - Computational Aspects of an Order-Sorted Logic with Term Declarations
SN  - 3540517057
CY  - Berlin
KW  - Computational Aspects
KW  - Logic
KW  - Term Declarations
ER  -