Verificador de circuitos lógicos. - Rafael Urretabizkaya Garbos; Reyes Rios-Cabrera; Ricardo Chaparro-Sánchez (Res. Comput. Sci., 2004)