Development closed critical pairs (1995)

by V van Oostrom
Venue:In Proc. of HOA’95, LNCS 1074