State Definition for Conflict Analysis with Four-valued Logic | Read Paper on Bytez