APA (7th ed.) Citation

Schmidt-Schauß, M. (1988). Computational aspects of an order-sorted logic with term declarations.

Chicago Style (17th ed.) Citation

Schmidt-Schauß, Manfred. Computational Aspects of an Order-sorted Logic with Term Declarations. 1988.

MLA (9th ed.) Citation

Schmidt-Schauß, Manfred. Computational Aspects of an Order-sorted Logic with Term Declarations. 1988.

Warning: These citations may not always be 100% accurate.