Elmar Eder. An Implementation of a Theorem Prover Based on the Connection Method. In AIMSA. pages 121-128, 1984.
@inproceedings{Eder84, title = {An Implementation of a Theorem Prover Based on the Connection Method}, author = {Elmar Eder}, year = {1984}, tags = {rule-based}, researchr = {https://researchr.org/publication/Eder84}, cites = {0}, citedby = {0}, pages = {121-128}, booktitle = {AIMSA}, }