%0 Journal Article %1 journals/logcom/TurriniGBM15 %A Turrini, Paolo %A Grossi, Davide %A Broersen, Jan M. %A Meyer, John-Jules Ch. %D 2015 %J J. Log. Comput. %K %N 1 %P 159-178 %T Forbidding undesirable agreements. %U http://dblp.uni-trier.de/db/journals/logcom/logcom25.html#TurriniGBM15 %V 25

@article{journals/logcom/TurriniGBM15, added-at = {2023-12-13T08:13:46.000+0100}, author = {Turrini, Paolo and Grossi, Davide and Broersen, Jan M. and Meyer, John-Jules Ch.}, biburl = {https://www.bibsonomy.org/bibtex/2bd8d708ca941b006d73210f0cf3b8c39/admin}, ee = {https://www.wikidata.org/entity/Q62045408}, interhash = {c1ec3b309a5d42c1c30f6cec47f9c941}, intrahash = {bd8d708ca941b006d73210f0cf3b8c39}, journal = {J. Log. Comput.}, keywords = {}, number = 1, pages = {159-178}, timestamp = {2023-12-13T08:13:46.000+0100}, title = {Forbidding undesirable agreements.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom25.html#TurriniGBM15}, volume = 25, year = 2015 }