Uma automacao de logica temporal - Souza, Luiz Fernando Pereira de; Veloso, Sheila Regina Murgel (Rio de Janeiro : Universidad Federal do Rio de Janeiro, 1992)
Keywords: PROGRAMACION (COMPUTADORAS ELECTRONICAS); LOGICA, SIMBOLICA Y MATEMATICA