Gilles Bernot;Michel Bidoit;Teodor Knapik
-;-;-
Observational proofs by rewriting
Theoretical Computer Science