Title: Extended restricted and-parallelism execution model and abstract machine for logic programming
First published: 1990
Subjects: Logic programming, Parallel programming (Computer science)