Refinements and Extensions of Model Elimination.

Klaus Mayr

Browse the full LPAR paper archive.