ByNobleID
    Query answering under the Any-World Assumption for normal logic programs | NobleID