Specification of paraconsistent transition systems, revisited - Cunha, Juliana (2025)