@string{dfki = {German Research Center for Artificial Intelligence (DFKI)}}
@string{dfkiaddr= {Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany}}
@string{unisb = {Universität des Saarlandes, Fachbereich 14 Informatik}}
@string{unisbaddr = {Postfach 1150, D-66041 Saarbrücken, Germany}}
@string{unikl = {Universität Kaiserslautern, Fachbereich Informatik}}
@string{unikladdr = {Postfach 3049, D-67653 Kaiserslautern, Germany}}
@string{ozdoc = {{DFKI} {O}z Documentation Series}}
@string{springer= {Springer-Verlag}}
@string{lncs = {Lecture Notes in Computer Science}}
@string{mit = {The MIT Press}}
@string{jlp = {Journal of Logic Programming}}
@string{tcs = {Theoretical Computer Science}}
@string{lnai = {Lecture Notes in Artificial Intelligence}}


@inproceedings{Pinkal1995,
 author = {Pinkal, Manfred},
 title = {Radical Underspecification},
 booktitle = {Proceedings of the 10th Amsterdam Colloquium},
 organization = {University of Amsterdam},
 year = {1995},
 editor = {Paul Dekker and Martin Stokhof},
 ma-key = {pinkal@coli.uni-sb.de},
 project-key = {C4}
}