Juan Carlos González Moreno. A Correctness Proof for Warren s HO into FO Translation. In Domenico Saccà, editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 569-584, 1993.
@inproceedings{Gonzalez-Moreno93,
title = {A Correctness Proof for Warren s HO into FO Translation},
author = {Juan Carlos González Moreno},
year = {1993},
tags = {translation},
researchr = {https://researchr.org/publication/Gonzalez-Moreno93},
cites = {0},
citedby = {0},
pages = {569-584},
booktitle = {8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993},
editor = {Domenico Saccà},
}