APA (7th ed.) Citation

Meinke, K., & Tucker, J. V. (1993). Many - sorted logic and its applications. John Wiley & Sons.

Chicago Style (17th ed.) Citation

Meinke, K., and J. V. Tucker. Many - Sorted Logic and Its Applications. Chichester: John Wiley & Sons, 1993.

MLA (8th ed.) Citation

Meinke, K., and J. V. Tucker. Many - Sorted Logic and Its Applications. John Wiley & Sons, 1993.