A Proof Theory for Constructive Default Logic.

Yao-Hua Tan

Browse the full ECSQARU paper archive.