Gramlich, B., & Lindner, W. (1991). A guide to UNICOM, an inductive theorem prover based on rewriting and completion techniques.
Chicago-Zitierstil (17. Ausg.)Gramlich, Bernhard, und Wolfgang Lindner. A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques. Kaiserslautern, 1991.
MLA-Zitierstil (9. Ausg.)Gramlich, Bernhard, und Wolfgang Lindner. A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.