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. Journal of Logic, Language and Information, 13(2):187-206, 2004. [doi]
@article{KollerDGS04,
title = {Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game},
author = {Alexander Koller and Ralph Debusmann and Malte Gabsdil and Kristina Striegnitz},
year = {2004},
doi = {10.1023/B:JLLI.0000024734.80591.30},
url = {http://dx.doi.org/10.1023/B:JLLI.0000024734.80591.30},
researchr = {https://researchr.org/publication/KollerDGS04},
cites = {0},
citedby = {0},
journal = {Journal of Logic, Language and Information},
volume = {13},
number = {2},
pages = {187-206},
}