Handling Boolean A Boxes. - Carlos Areces; Patrick Blackburn; Bernadette Martínez Hernández; Maarten Marx (Description Logics, 2003)

Towards the Systematic Generation of Channelling Constraints. - Bernadette Martínez Hernández; Alan M. Frisch (CP, 2005)

The Rules of Constraint Modelling. - Alan M. Frisch; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (IJCAI, 2005)

The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. - Alan M. Frisch; Matthew Grum; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (IJCAI, 2007)

Essence : A constraint language for specifying combinatorial problems. - Alan M. Frisch; Warwick Harvey; Christopher Jefferson; Bernadette Martínez Hernández; Ian Miguel (Constraints An Int. J., 2008)