Rob Kling. Reasoning by Analogy as an Aid to Heuristic Theorem Proving. In IFIP Congress (1). pages 195-200, 1971.
@inproceedings{Kling71:1,
title = {Reasoning by Analogy as an Aid to Heuristic Theorem Proving},
author = {Rob Kling},
year = {1971},
researchr = {https://researchr.org/publication/Kling71%3A1},
cites = {0},
citedby = {0},
pages = {195-200},
booktitle = {IFIP Congress (1)},
}