2 works on record
Propositional logic
Projections of vector addition system reachability sets are semilinear