L. Thorne McCarty. Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. In ICLP. pages 44-63, 1993.
@inproceedings{McCarty93, title = {Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic}, author = {L. Thorne McCarty}, year = {1993}, tags = {Prolog, logic programming, logic}, researchr = {https://researchr.org/publication/McCarty93}, cites = {0}, citedby = {0}, pages = {44-63}, booktitle = {ICLP}, }