APA (7th ed.) Citation

Comon, H., Ganzinger, H., & Kirchner, C. Theorem proving and logic programming with constrains: Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143).

Chicago Style (17th ed.) Citation

Comon, H., H. Ganzinger, and C. Kirchner. Theorem Proving and Logic Programming with Constrains: Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143).

MLA (8th ed.) Citation

Comon, H., et al. Theorem Proving and Logic Programming with Constrains: Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143).

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