SOS formats and metatheory: 20 years after (0)

by M R Mousavi, M A Reniers, J F Groote
Venue:Theor. Comput. Sci