SWIFT: A New Symbolic Processor.

D. A. Chu, F. G. McCabe

Browse the full ICLP paper archive.