%0 Journal Article %1 journals/toplas/GangeMNSSS21 %A Gange, Graeme %A Ma, Zequn %A Navas, Jorge A. %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %D 2021 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 11:1-11:51 %T A Fresh Look at Zones and Octagons. %U http://dblp.uni-trier.de/db/journals/toplas/toplas43.html#GangeMNSSS21 %V 43

@article{journals/toplas/GangeMNSSS21, added-at = {2021-10-05T00:00:00.000+0200}, author = {Gange, Graeme and Ma, Zequn and Navas, Jorge A. and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2d84e8f8ba42543664a68eaa71ff6de47/dblp}, ee = {https://doi.org/10.1145/3457885}, interhash = {bda8632ba8637f4610b58c9d1b9c827a}, intrahash = {d84e8f8ba42543664a68eaa71ff6de47}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 3, pages = {11:1-11:51}, timestamp = {2024-04-09T06:03:10.000+0200}, title = {A Fresh Look at Zones and Octagons.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas43.html#GangeMNSSS21}, volume = 43, year = 2021 }