Formats of ordered SOS rules with silent actions (1997)

by I Ulidowski, I Phillips
Venue:University of Amsterdam