A. Lisitsa, “First-order logic for safety verification of hedge rewriting systems”, ECEASST, vol. 72, Nov. 2015.