Uma automação de lógica temporal

Por Souza, Luiz Fernando Pereira de, Veloso, Sheila Regina Murgel
Publicado no Relatório Técnico NCE (1992-12-23)