Dennis Merritt
-
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
Electronic Notes in Theoretical Computer Science (ENTCS)