Michael Hanus. On Extra Variables in (Equational) Logic Programming. In ICLP. pages 665-679, 1995.
@inproceedings{Hanus95:0, title = {On Extra Variables in (Equational) Logic Programming}, author = {Michael Hanus}, year = {1995}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/Hanus95%3A0}, cites = {0}, citedby = {0}, pages = {665-679}, booktitle = {ICLP}, }