"Greedy Algorithms in Datalog with Choice and Negation."

Sergio Greco, Carlo Zaniolo (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics