From Linear Temporal Logic Properties to Rewrite Propositions.

Pierre-Cyrille Ham, Vincent Hugot, Olga Kouchnarenko

Browse the full CADE paper archive.