On the Need for a Different Backtracking Rule when Dealing with Late Evaluation

Marco Gavanelli, Michela Milano. On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. Theoretical Computer Science, 30(2):145-156, 1999. [doi]

Abstract

Abstract is missing.