Candidate-Elimination Algorithm. Encyclopedia of Machine Learning 2010: 139