Simplifying Inductive Schemes in Temporal Logic.

Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmn, Sixto Snchez

Browse the full TIME paper archive.