Alexander Koller,
Ralph Debusmann,
Malte Gabsdil and
Kristina Striegnitz. Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game. In Journal of Logic, Language and Information: Special Issue on ICoS-3, Vol. 13(2):187--206, 2004. google
