Seiki Akama Tableaux for Logic Programming with Strong Negation. 31-42 1997 conf/tableaux/1997 TABLEAUX db/conf/tableaux/tableaux97.html#Akama97 http://dx.doi.org/10.1007/BFb0027403