Sunil Vadera. Proof by Analogy in Mural. Formal Asp. Comput., 7(2):183-206, 1995.
@article{Vadera95,
title = {Proof by Analogy in Mural},
author = {Sunil Vadera},
year = {1995},
researchr = {https://researchr.org/publication/Vadera95},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {7},
number = {2},
pages = {183-206},
}