ACE: And/Or-parallel Copying-based Execution of Logic Programs (1991)

by Gopal Gupta, Manuel Hermenegildo, Enrico Pontelli, Vítor Santos Costa