T. Eiter, W. Faber, and M. Mushthofa, “Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities”, AAAI, vol. 24, no. 1, pp. 303–308, Jul. 2010.