L. Naish M. J. O'donnell

A Game-Based Architecture for Developing Interactive Components in Computational Logic

John Darlington, Dale Miller, Tetsuo Ida, 2000 .