Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade - Neves, Júlio César Vale (2009)