APA (7th ed.) Citation

Schmidt-Schauss, M. (1989). Computational aspects of an order-sorted logic with term declarations. Springer-Verlag.

Chicago Style (17th ed.) Citation

Schmidt-Schauss, M. Computational Aspects of an Order-sorted Logic with Term Declarations. Berlin ; New York: Springer-Verlag, 1989.

MLA (8th ed.) Citation

Schmidt-Schauss, M. Computational Aspects of an Order-sorted Logic with Term Declarations. Springer-Verlag, 1989.