A Simple Rewrite System for the Normalization of Linear Temporal Logic.

Published in: Principles of Systems Design (2022)

Keyphrases