Matthew Stone. Disjunction and modular goal-directed proof search. ACM Trans. Comput. Log., 6(3):539-577, 2005. [doi]
@article{Stone05, title = {Disjunction and modular goal-directed proof search}, author = {Matthew Stone}, year = {2005}, doi = {10.1145/1071596.1071599}, url = {http://doi.acm.org/10.1145/1071596.1071599}, tags = {search}, researchr = {https://researchr.org/publication/Stone05}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {6}, number = {3}, pages = {539-577}, }