GRASPER. - Ruben Duarte Viegas; Francisco Azevedo (EPIA Workshops, 2007)

Architectural Design via Declarative Programming. - Luís Moniz Pereira; Ruben Duarte Viegas (ICEIS (2), 2007)

Using Indexed Finite Set Variables for Set Bounds Propagation. - Ruben Duarte Viegas; Marco Correia; Pedro Barahona; Francisco Azevedo (IBERAMIA, 2008)

Lazy Constraint Imposing for Improving the Path Constraint. - Ruben Duarte Viegas; Francisco Azevedo (TERMGRAPH@ETAPS, 2009)

GRASPER: constraint reasoning with graphs. - Ruben Duarte Viegas; Francisco Azevedo (Int. J. Reason. based Intell. Syst., 2010)