@inproceedings{DBLP:conf/iclp/HarsatG91,
author = {Arie Harsat and
Ran Ginosar},
title = {CARMEL-4: The Unify-Spawn Machine for FCP},
booktitle = {ICLP},
year = {1991},
pages = {840-854},
bibsource = {DBLP, http://dblp.uni-trier.de}
}