1. Untersuchungen über das Eliminationsproblem der mathematischen Logik;Ackermann;Math. Ann.,1935
2. Efficient LTL compilation for SAT-based model checking;Armoni,2005
3. Vericon: towards verifying controller programs in software-defined networks;Ball,2014
4. Verifying security policies in multi-agent workflows with loops;Finkbeiner,2017
5. Decidable fragments of first-order temporal logics;Hodkinson;Ann. Pure Appl. Log.,2000