The Meaning of Negative Premises in Transition System Specifications.

Roland N. Bol, Jan Friso Groote

Browse the full ICALP paper archive.