Heuristical Criteria in Refutational Theorem Proving. - Siva Anantharaman; Nirina Andrianarivelo (DISCO, 1990)

On Theorem-Proving in Horn Theories with Built-in Algebras. - Nirina Andrianarivelo; Wadoud Bousdira; Jean-Marc Talbot (AISMC, 1996)

Designing FPLA Combinational Circuits by Conditional Rewriting. - Nirina Andrianarivelo; Wadoud Bousdira; Jacques Chabin; Zahir Maazouzi (ECAI, 1998)

CDR: A Rewriting Based Tool to Design FPLA Circuits. - Zahir Maazouzi; Nirina Andrianarivelo; Wadoud Bousdira; Jacques Chabin (AISC, 2000)

Over-Approximating Terms Reachable by Context-Sensitive Rewriting. - Nirina Andrianarivelo; Pierre Réty (RP, 2015)

Transforming Prefix-constrained or Controlled Rewrite Systems. - Nirina Andrianarivelo; Vivien Pelletier; Pierre Réty (SCSS, 2017)

Confluence of Prefix-Constrained Rewrite Systems. - Nirina Andrianarivelo; Pierre Réty (FSCD, 2018)

Modular termination of prefix-constrained term rewrite systems. - Nirina Andrianarivelo; Pierre Réty (Inf. Process. Lett., 2022)