Source-to-source optimizing transformations of Prolog programs based on abstract interpretation - Francçois Gobert; Baudouin Le Charlier (CoRR, 2007)

Un système vérifiant des propriétés opérationnelles de programmes logiques. - Francçois Gobert; Baudouin Le Charlier (Tech. Sci. Informatiques, 2008)