A Proof System in PADS.

Xinghua Yao, Min Zhang, Yixiang Chen

Browse the full ICTAC paper archive.