Dominique Pastre. A Humanlike Approach for Automatic Theorem Proving. In AISB/GI (ECAI). pages 248-252, 1978.
@inproceedings{Pastre78:0, title = {A Humanlike Approach for Automatic Theorem Proving}, author = {Dominique Pastre}, year = {1978}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/Pastre78%3A0}, cites = {0}, citedby = {0}, pages = {248-252}, booktitle = {AISB/GI (ECAI)}, }