TY  - BOOK
AU  - Schmidt-Schaub,M.
TI  - Computational aspects of an order-sorted logic with term declaration
SN  - 3540517057
PY  - 1989///
CY  - Berlin
PB  - Springer-Verlag
KW  - Sorting (Electronic computers)
N1  - Includes bibliographical references
ER  -