Yamaguchi, S.; Ahmadon, M. A. B. Process Tree-Based Analysis Method of DECLARE Relation Constraints in Acyclic Bridge-Less Well-Structured Workflow Nets. ECTI-CIT Transactions 2019, 13, 104-111.