Reniers, A hierarchy of SOS rule formats, in:Proc. SOS’05 (2005)

by J F Groote, M Mousavi, M A