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