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]
@article{BolG96, title = {The Meaning of Negative Premises in Transition System Specifications}, author = {Roland N. Bol and Jan Friso Groote}, year = {1996}, doi = {10.1145/234752.234756}, url = {http://doi.acm.org/10.1145/234752.234756}, researchr = {https://researchr.org/publication/BolG96}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {43}, number = {5}, pages = {863-914}, }