Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond
scholarworks.utep.edu www.cs.utep.edu