Backtracking iterators (2006)

by Jean-Christophe Filliâtre