Complete Inference Rules for the Cancellation Laws.

Jieh Hsiang, Michal Rusinowitch, K Sakai

Browse the full IJCAI paper archive.