AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.

Piotr Dembinski Jan Maluszynski AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. 29-38 1985 SLP db/conf/slp/slp85.html#DembinskiM85