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), pp. 104–111. doi: 10.37936/ecti-cit.2019132.203107.