Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. A rule-based system for automatic decidability and combinability.
Science of Computer Programming, Elsevier, 2015, Selected Papers from the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012), 99, pp.3-23.
⟨10.1016/j.scico.2014.02.005⟩.
⟨hal-01102883⟩