Davis-Putnam engineered reversely. Available by anonymous FTP from arp.anu.edu.au (1993)

by G Stickel's Meglicki
Venue:Automated Reasoning Project, Australian National University