Parceria:
D. Déharbe, S. Shankar, E. Clarke.
http://csdl.computer.org/dl/proceedings/sbcci/1998/8704/00/87040095.pdf
Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web
Processando consulta.