Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages.

Enrico Pontelli, Gopal Gupta

Browse the full ICPP paper archive.