The Meaning of Negative Premises in Transition System Specifications

Roland N. Bol, Jan Friso Groote. The Meaning of Negative Premises in Transition System Specifications. Journal of the ACM, 43(5):863-914, 1996. [doi]

Abstract

Abstract is missing.