Properties of Inclusion Relationship Between Clause Sets in Propositional Logic.

Xiaomei Zhong, Hanhui Zhan, Yang Xu

Browse the full ISKE paper archive.