Minimal Forward Checking. - Michael J. Dent; Robert E. Mercer (ICTAI, 1994)

A New Model of Hard Binary Constraint Satisfaction Problems. - Michael J. Dent; Robert E. Mercer (AI, 1996)

An Empirical Inverstigation of the Forward Checking Algorithm and Its Derivatives. - Michael J. Dent; Robert E. Mercer (ICTAI, 1996)