A Constraint-Aided Conceptual Design Environment for Autodesk Inventor. - Alan Holland; Barry O'Callaghan; Barry O'Sullivan (CP, 2003)

Useful Explanations. - Barry O'Callaghan; Eugene C. Freuder; Barry O'Sullivan (CP, 2003)

Supporting Constraint-Aided Conceptual Design from First Principles in Autodesk Inventor. - Alan Holland; Barry O'Callaghan; Barry O'Sullivan (IEA/AIE, 2004)

Generating Corrective Explanations for Interactive Constraint Satisfaction. - Barry O'Callaghan; Barry O'Sullivan; Eugene C. Freuder (CP, 2005)

Corrective Explanation for Interactive Constraint Satisfaction. - Barry O'Sullivan; Barry O'Callaghan; Eugene C. Freuder (IJCAI, 2005)