1. LTL under reductions with weaker conditions than stutter invariance;Paviot-Adet,2022
2. Checking properties of nets using transformation;Berthelot,1985
3. Structural reductions revisited;Thierry-Mieg,2020
4. Verification, Proceedings of a DIMACS Workshop;Peled,1996