Lisitsa, A. First-Order Logic for Safety Verification of Hedge Rewriting Systems. eceasst 2015, 72.