TY  - BOOK
AU  - Schmidt-Schaub Manfred
TI  - Computational aspects of an order-sorted logic with term declarations
U1  - 511.8 
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematical models
KW  - Order sorted logic
ER  -