%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:42:53 +0100 GMT
%    
% Selection : Reference #1528
%




@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}
}