Olivier Roussel Philippe Mathieu The Achievement of Knowledge Bases by Cycle Search. 43-58 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#RousselM00