SOS formats and meta-theory (0)

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