Here are a few links.
http://tech-www.informatik.uni-hamburg.de/paper/2001/SA_Witt_Hartmann/cdrom/Internetseiten/citeseer.nj.nec.com/65929.html
http://citeseer.ist.psu.edu/fischer96efficient.html
http://www.calsci.com/ArtDecode.html
http://www.ece.utexas.edu/~touba/research/tcad01.pdf...