(1)
Lisitsa, A. First-Order Logic for Safety Verification of Hedge Rewriting Systems.
ECEASST
2015
,
72
.