Efficient backtracking in and-parallel implementations of non-deterministic languages | IEEE Conference Publication | IEEE Xplore