Proof Systems for cause based equivalences (1993)

by A Kiehn
Venue:In Proc. MFCS’93, LNCS 711