Using Logic Programs to Reason about Infinite Sets.

Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel

Browse the full ISAIM paper archive.