Dante Baldan Baudouin Le Charlier Christophe Leclère Isabelle Pollet A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. 21-40 http://link.springer.de/link/service/series/0558/bibs/1559/15590021.htm 1998 conf/lopstr/1998 LOPSTR db/conf/lopstr/lopstr98.html#BaldanCLP98