Daniel Leivant. Intrinsic reasoning about functional programs I: first order theories. Annals of Pure and Applied Logic, 114(1-3):117-153, 2002.
@article{Leivant02:3, title = {Intrinsic reasoning about functional programs I: first order theories}, author = {Daniel Leivant}, year = {2002}, tags = {functional programming}, researchr = {https://researchr.org/publication/Leivant02%3A3}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {114}, number = {1-3}, pages = {117-153}, }