Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach. Automatic Generation of Invariants for Circular Derivations in SUP(LA).
18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. pp.197-211.
⟨hal-00760398⟩