APA (7th ed.) Citation

Schmitt, P. H., & Wernecke, W. (1990). Tableau calculus for order sorted logic. IWBS.

Chicago Style (17th ed.) Citation

Schmitt, Peter H., and Wolfgang Wernecke. Tableau Calculus for Order Sorted Logic. Heidelberg: IWBS, 1990.

MLA (9th ed.) Citation

Schmitt, Peter H., and Wolfgang Wernecke. Tableau Calculus for Order Sorted Logic. IWBS, 1990.

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