Generalization for a Propositional Calculus: A Constraints-Based Approach. - Raoul Vorc'h (EPIA, 1991)

Generalization and Abstraction Using Tableaux-Based Proof Systems. - Raoul Vorc'h (TABLEAUX, 1992)

c-GAMMA: Comparative Genome Analysis of Molecular Markers. - Pierre Peterlongo; Jacques Nicolas; Dominique Lavenier; Raoul Vorc'h; Joël Querellou (PRIB, 2009)