SOS formats and meta-theory: 20 years after (0)

by M R Mousavi, M A Reniers, J F Groote
Venue:TCS