Return to Article Details A Constraint Formulation for Domain Repair with Ground or Lifted Test Plans Download Download PDF