Yamaguchi, S. and Ahmadon, M.A.B. 2019. 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). 13, 2 (Oct. 2019), 104–111. DOI:https://doi.org/10.37936/ecti-cit.2019132.203107.