Yamaguchi, S., and M. A. B. Ahmadon. “Process tree-based analysis method of DECLARE relation constraints in acyclic bridge-less well-structured workflow nets”. ECTI Transactions on Computer and Information Technology (ECTI-CIT), vol. 13, no. 2, Oct. 2019, pp. 104-11, doi:10.37936/ecti-cit.2019132.203107.