APA (7th ed.) Citation

Denzinger, J., & Schulz, S. (1994). Analysis and representation of equational proofs generated by a distributed completion based proof system.

Chicago Style (17th ed.) Citation

Denzinger, Jörg, and Stephan Schulz. Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System. Kaiserslautern, 1994.

MLA (9th ed.) Citation

Denzinger, Jörg, and Stephan Schulz. Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System. 1994.

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