Pierre De Boeck;Baudouin Le Charlier
-;-
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research