1991
The use of version space controlled genetic algorithms to solve the Boole problem.
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991