Skip to content

A Unification Algorithm for Concurrent Prolog.

Jacob Levy

VenueBICLP
Year1984
ProceedingsICLP

Browse the full ICLP paper archive.