David A. Plaisted, Adnan H. Yahya. A relevance restriction strategy for automated deduction. Artificial Intelligence, 144(1-2):59-93, 2003. [doi]
@article{PlaistedY03,
title = {A relevance restriction strategy for automated deduction},
author = {David A. Plaisted and Adnan H. Yahya},
year = {2003},
doi = {10.1016/S0004-3702(02)00368-5},
url = {http://dx.doi.org/10.1016/S0004-3702(02)00368-5},
researchr = {https://researchr.org/publication/PlaistedY03},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {144},
number = {1-2},
pages = {59-93},
}