1. R.Bodington and P.Elleby "Justification and Assumption-based Truth Maintenance Systems: When and How to use them in Constraint Satisfaction," in Reason Maintenance Systems and their Applications, Ed. B.Smith and G.Kelleher, Ellis Horwood, 1988
2. R.Bodington, G.D.Sullivan and K.D.Baker, "The Consistent Labelling of Image Features using an ATMS", Image Vision & Computing, vol. 7, no. 1, February 1989.
3. R.Bodington, G.D.Sullivan and K.D.Baker, "Experiments on the use of the ATMS to label features for object recognition" University of Reading, unpublished report December 1989
4. K.Brisdon, G.D.Sullivan and K.D.Baker, "Feature Aggregation in Iconic Model Evaluation," Proceedings of the Alvey Vision Conference, AVC88, Sept. 1988.
5. J. Canny, "Finding edges and lines in images.", Ph.D. AI-laboratory, MIT, Cambridge, MA, 1983