Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel. Using Logic Programs to Reason about Infinite Sets. In AI&M 1-2004, Eighth International Symposium on Artificial Intelligence and Mathematics, January 4-6, 2004, Fort Lauderdale, Florida, USA. 2004. [doi]
@inproceedings{CenzerMR04,
title = {Using Logic Programs to Reason about Infinite Sets},
author = {Douglas A. Cenzer and V. Wiktor Marek and Jeffrey B. Remmel},
year = {2004},
url = {http://rutcor.rutgers.edu/~amai/aimath04/AcceptedPapers/Cenzer-aimath04.pdf},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/CenzerMR04},
cites = {0},
citedby = {0},
booktitle = {AI&M 1-2004, Eighth International Symposium on Artificial Intelligence and Mathematics, January 4-6, 2004, Fort Lauderdale, Florida, USA},
}