A Resolution Calculus for Presuppositions (1996)

by Manfred Kerber , Michael Kohlhase
Venue:Proceedings of the 12th ECAI
Citations:4 - 3 self