LUDOCORE: A logical game engine for modeling videogames
Towards automated game design