A sequential abstract machine for Flat Concurrent Prolog, Weizmann Institute (1986)

by A Houri, E Shapiro