Skip to content

CARMEL-4: The Unify-Spawn Machine for FCP.

Arie Harsat, Ran Ginosar

VenueBICLP
Year1991
ProceedingsICLP

Browse the full ICLP paper archive.