From Linear Temporal Logic Properties to Rewrite Propositions.

Published in: IJCAR (2012)

Keyphrases