Kaiser, L., et al.. A Counting Logic for Structure Transition Systems. Aug. 2012, doi:10.4230/lipics.csl.2012.366.