Multiprocessor execution of logic programs - Gupta, Gopal (Boston Kluwer Academic, 1994)
Keywords: Logic programming; Multiprocessors