A resolution calculus for presuppositions (1996)

by Manfred Kerber, Michael Kohlhase
Venue:Proceedings of the 12th ECAI