Oleg Ledeniov, Shaul Markovitch. The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference. J. Artif. Intell. Res. (JAIR), 9:37-97, 1998. [doi]
@article{LedeniovM98,
title = {The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference},
author = {Oleg Ledeniov and Shaul Markovitch},
year = {1998},
url = {http://www.cs.washington.edu/research/jair/abstracts/ledeniov98a.html},
tags = {logic},
researchr = {https://researchr.org/publication/LedeniovM98},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {9},
pages = {37-97},
}