Precondition control (1999)

by F Bacchus, M Ady