Computational aspects of an order-sorted logic with term declaration - Schmidt-Schaub, M. (Berlin : Springer-Verlag, 1989)
Includes bibliographical references
Keywords: Sorting (Electronic computers)