Philippe Darondeau, Laurent Kott. A formal proof system for infinitary rational expressions. In Maurice Nivat, Dominique Perrin, editors, Automata on Infinite Words, Ecole de Printemps d Informatique Théorique, Le Mont Dore, May 14-18, 1984. Volume 192 of Lecture Notes in Computer Science, pages 68-80, Springer, 1984.
Abstract is missing.