Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SOUSA, M. R.; TALA, J. E. ProS4: um provador automático de teoremas da lógica model S4. In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 16. (CNMAC), , Uberlândia, MG. Resumos... 1993. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34R/3SUE7A2>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Sousa e Tala (1993).
... pode ser encontrada na literatura (SOUSA; TALA, 1993).