A Fresh Look at Zones and Octagons. - Graeme Gange; Zequn Ma; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2021)