%0 Conference Paper %1 conf/ecai/KerberK96 %A Kerber, Manfred %A Kohlhase, Michael %B ECAI %D 1996 %E Wahlster, Wolfgang %I John Wiley and Sons, Chichester %K dblp %P 375-379 %T A Resolution Calculus for Presuppositions. %U http://dblp.uni-trier.de/db/conf/ecai/ecai96.html#KerberK96

@inproceedings{conf/ecai/KerberK96, added-at = {2002-01-03T00:00:00.000+0100}, author = {Kerber, Manfred and Kohlhase, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e02bb6e8a1c8cd1df588e8ea735fe044/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/1996}, editor = {Wahlster, Wolfgang}, interhash = {e399df0d10ecfdaa94d2d9959410e950}, intrahash = {e02bb6e8a1c8cd1df588e8ea735fe044}, keywords = {dblp}, pages = {375-379}, publisher = {John Wiley and Sons, Chichester}, timestamp = {2016-02-02T16:18:52.000+0100}, title = {A Resolution Calculus for Presuppositions.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai96.html#KerberK96}, year = 1996 }