Pandora: Non-deterministic Parallel Logic Programming.

Reem Bahgat, Steve Gregory

Browse the full ICLP paper archive.