On the relation between filters and deductive rules.

Keyun Qin, Zheng Pei

Browse the full SMC paper archive.