Tableaux for Logic Programming with Strong Negation.

Seiki Akama

Browse the full TABLEAUX paper archive.