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