Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie. Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified. In Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor, editors, Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. Volume 64 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Abstract is missing.