A Game Semantics Foundation for Logic Programming (Extended Abstract). - Roberto Di Cosmo; Jean-Vincent Loddo; Stephane Nicolet (PLILP/ALP, 1998)