Vadera, S. (1995). Proof by analogy in mural. Formal Aspects of Computing, 7(2), 183-206. https://doi.org/10.1007/BF01211605