title = {Algorithms for SAT and upper bounds on their complexity},
author = {Evgeny Dantsin and Edward A. Hirsch and Sergei Ivanov and Maxim Vsemirnov},
institution = {Electronic Colloq. on Computational Complexity},
number = {TR01-012},
month = {Feb},
year = {2001},
url = {ftp://ftp.eccc.uni-trier.de/pub/eccc/reports/2001/TR01-012/index.html}}

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!