Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour. - Jean Christophe Madre; Jean-Paul Billon (DAC, 1988)

Automating the diagnosis and the rectification of design errors with PRIAM. - Jean Christophe Madre; Olivier Coudert; Jean-Paul Billon (ICCAD, 1989)

The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework. - Jean-Paul Billon (TABLEAUX, 1996)