Algorithms for Finding Small Attractors in Boolean Networks. (12th April 2007)