Ordered Completion for Logic Programs with Aggregates.

Vernon Asuncion, Yan Zhang, Yi Zhou

Browse the full AAAI paper archive.