EGG+: A graph grammar formalism with uncertain structure processing mechanism. - Liu, Yufeng; Yang, Fan (Journal of Logic & Computation, 2021)