Robert S. Boyer, J. Strother Moore. Proving Theorems about LISP Functions. In IJCAI. pages 486-493, 1973.
@inproceedings{BoyerM73,
title = {Proving Theorems about LISP Functions},
author = {Robert S. Boyer and J. Strother Moore},
year = {1973},
researchr = {https://researchr.org/publication/BoyerM73},
cites = {0},
citedby = {0},
pages = {486-493},
booktitle = {IJCAI},
}