Game Characterizations of Logic Program Properties.

Howard A. Blair

Browse the full LPNMR paper archive.