Eiter, T.; Faber, W.; Mushthofa, M. Space Efficient Evaluation of ASP Programs With Bounded Predicate Arities. AAAI 2010, 24, 303-308.