%0 Journal Article %1 journals/jolli/KollerDGS04 %A Koller, Alexander %A Debusmann, Ralph %A Gabsdil, Malte %A Striegnitz, Kristina %D 2004 %J Journal of Logic, Language and Information %K dblp %N 2 %P 187-206 %T Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game. %U http://dblp.uni-trier.de/db/journals/jolli/jolli13.html#KollerDGS04 %V 13

@article{journals/jolli/KollerDGS04, added-at = {2005-01-11T00:00:00.000+0100}, author = {Koller, Alexander and Debusmann, Ralph and Gabsdil, Malte and Striegnitz, Kristina}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/223ce3dba9d9ef5c70879740d8c6f9993/dblp}, ee = {http://dx.doi.org/10.1023/B:JLLI.0000024734.80591.30}, interhash = {64c1f8ecd8f45369a1d1ea09993e7f81}, intrahash = {23ce3dba9d9ef5c70879740d8c6f9993}, journal = {Journal of Logic, Language and Information}, keywords = {dblp}, number = 2, pages = {187-206}, timestamp = {2016-02-02T05:48:39.000+0100}, title = {Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli13.html#KollerDGS04}, volume = 13, year = 2004 }