Larry Wos. The Problem of Choosing between Logic Programming and General-Purpose Automated Reasoning. Journal of Automated Reasoning, 6(1):77-78, 1990.
@article{Wos90,
title = {The Problem of Choosing between Logic Programming and General-Purpose Automated Reasoning},
author = {Larry Wos},
year = {1990},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/Wos90},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {6},
number = {1},
pages = {77-78},
}