First Steps in a Paraconsistent Transition Systems Toolkit.

Rodrigo Alves, Juliana Cunha, Alexandre Madeira

Browse the full TASE paper archive.