@inproceedings{GBJ+8,
title = {Open Implication },
author = {Greimel, Karin and Bloem, Roderick and Jobstmann, Barbara and Vardi, Moshe Y.},
year = {2008},
booktitle = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming},
pages = {361-372},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5126},
team = {DCS},
}
