General Logic Programs as Infinite Games.

Published in: Topological and Game-Theoretic Aspects of Infinite Computations (2008)