ParaTempLog : uma proposta de linguagem de programção lógica para suportar raciocínio temporal paraconsistente - Ávila, Bráulio Coelho (1999)