Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified.

Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie

Browse the full ICLP paper archive.