Computational Complexity of Simultaneous Elementary Matching Problems Miki HermannPhokion G. Kolaitis OriginalPaper Pages: 107 - 136
Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy Allen Van Gelder OriginalPaper Pages: 137 - 193