William C. Rounds, Guo-Qiang Zhang. Clausal Logic and Logic Programming in Algebraic Domains. Inf. Comput., 171(2):183-200, 2001. [doi]
@article{RoundsZ01,
title = {Clausal Logic and Logic Programming in Algebraic Domains},
author = {William C. Rounds and Guo-Qiang Zhang},
year = {2001},
doi = {10.1006/inco.2001.3073},
url = {http://dx.doi.org/10.1006/inco.2001.3073},
tags = {C++, logic programming, algebra, programming, logic},
researchr = {https://researchr.org/publication/RoundsZ01},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {171},
number = {2},
pages = {183-200},
}