Precondition control. available at http://www.cs.toronto.edu/˜fbacchus/on-line.html (1999)

by F Bacchus, M Ady