Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game.

Alexander Koller Ralph Debusmann Malte Gabsdil Kristina Striegnitz Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game. 187-206 2004 13 Journal of Logic, Language and Information 2 http://dx.doi.org/10.1023/B:JLLI.0000024734.80591.30 db/journals/jolli/jolli13.html#KollerDGS04