APA (7th ed.) Citation

Denzinger, J. (1995). Completion and equational theorem proving using taxonomic constraints. Fachbereich Informatik, Univ.

Chicago Style (17th ed.) Citation

Denzinger, Jörg. Completion and Equational Theorem Proving Using Taxonomic Constraints. Kaiserslautern: Fachbereich Informatik, Univ, 1995.

MLA (9th ed.) Citation

Denzinger, Jörg. Completion and Equational Theorem Proving Using Taxonomic Constraints. Fachbereich Informatik, Univ, 1995.

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