Carlos Rodríguez, Marcos Villagra, Benjamín Barán: Asynchronous Team Algorithms for Boolean Satisfiability. BIONETICS 2007: 66-69