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

by G Gupta, M V Hermenegildo, E Pontelli, V S Costa
Venue:In International Conference on Logic Programming