Improving Search in a Hypothetical Reasoning System. - Richard A. Hagen; Abdul Sattar 001 (ACSC, 2003)

Code Improvements for Model Elimination Based Reasoning Systems. - Richard A. Hagen; Scott D. Goodwin; Abdul Sattar 001 (ACSC, 2004)