CASYS
International Journal of Computing Anticipatory Systems
Jair Minoro Abe, Kazumi Nakamatsu et Bráulio Coelho Ávila
Paraconsistent Annotated Logic Programming – Paralog