Olivier Bournez. A Generalization of Equational Proof Theory?.
Second Joint International Workshop on Process Algebras and Performance Modeling / Probabilistic Methods In Verification - PAPM-PROBMIV'02, Jul 2002, Copenhagen, Denmark, pp.207-208.
⟨inria-00100885⟩