Kaiser, L., Leßenich, S., Herbstritt, M., 2012. A Counting Logic for Structure Transition Systems.. https://doi.org/10.4230/lipics.csl.2012.366