A sequential abstract machine for Flat Concurrent Prolog (1986)

by A HOURI, E SHAPIRO