A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN. - Aapo Alasuutari; Kazumi Nakamatsu; Jair Minoro Abe (IDT/IIMSS/STET, 2014)