APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Schmidt-Schauß, Manfred. Computational Aspects of an Order-sorted Logic with Term Declarations. Berlin u. a: Springer, 1989.

MLA-Zitierstil (9. Ausg.)

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