An abstract machine for restricted AND-parallel execution of logic programs (1986)

by M V Hermenegildo
Venue:Proc. of 3rd fnr. Conf on Logic Programming