Implementing Backward Execution in Non-Deterministic AND-Parallel Systems.

John S. Conery

Browse the full ICLP paper archive.