1. Computational Complexity of Simultaneous Elementary Matching Problems

   • Miki Hermann
   • Phokion G. Kolaitis

   OriginalPaper Pages: 107 - 136

2. Autarky Pruning in Propositional Model Elimination Reduces Failure Redundancy

   • Allen Van Gelder

   OriginalPaper Pages: 137 - 193