Kato. State Definition for Conflict Analysis with Four-valued Logic. 24 July 2022.