Paraconsistent transition systems - Cruz, Ana (2023)