Jair Minoro Abe, Kazumi Nakamatsu and Bráulio Coelho Ávila
Paraconsistent Annotated Logic Programming – Paralog