Precondition control (1999)

by M Bacchus, F Ady