Proof Systems Supporting Qualitative Reasoning.

Daniel Crowley, Yakoub Salhi

Browse the full SAC paper archive.