Aart Middeldorp, Satoshi Okui, Tetsuo Ida. Lazy Narrowing: Strong Completeness and Eager Variable Elimination. In Robert Nieuwenhuis, Albert Rubio, editors, 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995. pages 43-46, 1995.
@inproceedings{MiddeldorpOI95,
title = {Lazy Narrowing: Strong Completeness and Eager Variable Elimination},
author = {Aart Middeldorp and Satoshi Okui and Tetsuo Ida},
year = {1995},
researchr = {https://researchr.org/publication/MiddeldorpOI95},
cites = {0},
citedby = {0},
pages = {43-46},
booktitle = {9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995},
editor = {Robert Nieuwenhuis and Albert Rubio},
}