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