Manfred Kerber and
Michael Kohlhase. A Resolution Calculus for Presuppositions. In
Wolfgang Wahlster editor, 12th European Conference on Artificial Intelligence (ECAI '96), August 12-16, Pages 375-379, John Wiley & Sons, Budapest, Hungary, 1996. [Abstract] google
