@conference{LeMaVa-NFM-2023,
    author    = {Leahy, Kevin and Mann, Makai and Vasile, Cristian Ioan},
    title     = {{Rewrite-Based Decomposition of Signal Temporal Logic Specifications}},
    booktitle = {NASA Formal Methods},
    pages     = {224--240},
    month     = {May},
    address   = {Houston, TX, USA},
    year      = {2023},
    note      = {\href{https://link.springer.com/chapter/10.1007/978-3-031-33170-1_14}{doi:10.1007/978-3-031-33170-1\_14}}
}