@inproceedings{18fd669217c7430eb8fdc3841edbe834,
title = "The meaning of negative premises in transition system specifications",
author = "R.N. Bol and J.F. Groote",
year = "1991",
language = "English",
isbn = "3-540-54233-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "481--494",
editor = "{Leach Albert}, J. and B. Monien and M. Rodriguez-Artalejo",
booktitle = "Automata, Languages and Programming (Proceedings 18th International Colloquium, ICALP'91, Madrid, Spain, July 8-12, 1991)",
address = "Germany",
}