The meaning of Negative Premises in Transition System Specifications.

Roland N. Bol, Jan Friso Groote

Browse the full LPNMR paper archive.