APA (7th ed.) Citation

Gramlich, B., & Lindner, W. (1991). A guide to UNICOM, an inductive theorem prover based on rewriting and completion techniques.

Chicago Style (17th ed.) Citation

Gramlich, Bernhard, and Wolfgang Lindner. A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques. Kaiserslautern, 1991.

MLA (9th ed.) Citation

Gramlich, Bernhard, and Wolfgang Lindner. A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques. 1991.