McMaster University's Artificial Computing System. - Andrew Dawes; Mark Bentley (AAAI/IAAI, Vol. 2, 1996)