Scott Owens, Konrad Slind. Adapting functional programs to higher order logic. Higher-Order and Symbolic Computation, 21(4):377-409, 2008. [doi]
@article{OwensS08, title = {Adapting functional programs to higher order logic}, author = {Scott Owens and Konrad Slind}, year = {2008}, doi = {10.1007/s10990-008-9038-0}, url = {http://dx.doi.org/10.1007/s10990-008-9038-0}, tags = {functional programming, logic programming, logic}, researchr = {https://researchr.org/publication/OwensS08}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {21}, number = {4}, pages = {377-409}, }