Ordered completion for logic programs with aggregates

Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou. Ordered completion for logic programs with aggregates. Artificial Intelligence, 224:72-102, 2015. [doi]

Abstract

Abstract is missing.