Manfred Kerber and
Michael Kohlhase. Reasoning without Believing: On the Mechanization of Presuppositions and Partiality. Technical report, Technical Report CSRP-97-23, University of Birmingham, School of Computer Science, Birmingham, September 1997. [Abstract] google [Annote]
