Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction.

Marie Duz, Michal Fait

Browse the full ICAART paper archive.