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]
Abstract is missing.