mushthofa/asbpa

Space Efficient Evaluation of Answer Set Programs with Bounded Predicate Arities

C++