H. Hirsh, N. Mishra, and L. Pitt, Version spaces and the consistency problem, Artificial Intelligence, vol.156, issue.2, pp.115-138, 2004.
DOI : 10.1016/j.artint.2003.04.003

T. Mitchell, Generalization as search, AI Journal, vol.18, issue.2, pp.203-226, 1982.
DOI : 10.1016/0004-3702(82)90040-6

R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Ttroyansky, Determining computational complexity from characteristic 'phase transition', Nature, vol.400, pp.133-137, 1999.