Lisitsa, Alexei. “First-Order Logic for Safety Verification of Hedge Rewriting Systems”.
Electronic Communications of the EASST
72 (November 25, 2015). Accessed July 29, 2025. https://www.eceasst.org/index.php/eceasst/article/view/2196.