Roseli S. Wedemann Valmir C. Barbosa Raul Donangelo Defeasible time-stepping. 461-489 1999 25 Parallel Computing 4 db/journals/pc/pc25.html#WedemannBD99