Positive and Monotone Fragments of FO and LTL.

Simon Iosti, Denis Kuperberg, Quentin Moreau

Browse the full ICALP paper archive.