Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel. Using Logic Programs to Reason about Infinite Sets. In International Symposium on Artificial Intelligence and Mathematics (AI&M 2004), Fort Lauderdale, Florida, USA, January 4-6, 2004. 2004. [doi]
Abstract is missing.