Hirohiko Kushida, Robert M. Haralick. First-order logic as a constraint satisfaction problem. Progress in AI, 10(4):375-389, 2021. [doi]
@article{KushidaH21,
title = {First-order logic as a constraint satisfaction problem},
author = {Hirohiko Kushida and Robert M. Haralick},
year = {2021},
doi = {10.1007/s13748-021-00240-8},
url = {https://doi.org/10.1007/s13748-021-00240-8},
researchr = {https://researchr.org/publication/KushidaH21},
cites = {0},
citedby = {0},
journal = {Progress in AI},
volume = {10},
number = {4},
pages = {375-389},
}