Michel Billaud
-
Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)