A Deductive System for PC(ID).

Ping Hou, Johan Wittocx, Marc Denecker

Browse the full LPNMR paper archive.