@ARTICLE{chpl:94b,
AUTHOR = {Chadha, Ritu and Plaisted, David A.},
TITLE = {Correctness of unification without occur check in {P}rolog},
JOURNAL = {Journal of Logic Programming},
PUBLISHER = {Elsevier},
YEAR = {1994},
NUMBER = {2},
VOLUME = {18},
PAGES = {99--122},
ADDRESS = {Amsterdam, the Netherlands},
ISBN = {0743-1066},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Uwe Brahm | Created
01/14/1995 06:53:25 PM |
Revisions
12.
11.
10.
9.
8. | Editor(s)
Christine Kiesel
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE | Edit Dates
14.03.2001 13:49:55
31.03.95 10:34:08
31.03.95 10:11:06
31.03.95 10:09:22
17/02/95 15:12:55 |