A Resolution Calculus for Presuppositions.

Manfred Kerber, Michael Kohlhase

Browse the full ECAI paper archive.