@Article{Koller_et_al:2004,
AUTHOR = {Koller, Alexander and Debusmann, Ralph and Gabsdil, Malte and Striegnitz, Kristina},
TITLE = {Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game},
YEAR = {2004},
JOURNAL = {Journal of Logic, Language and Information: Special Issue on ICoS-3},
VOLUME = {13},
NUMBER = {2},
PAGES = {187--206},
URL = {https://www.coli.uni-saarland.de/~kris/papers/kluwer2004.ps.gz}
}
|
