We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
85c16ba
This is the version of Reducer used in the following paper:
G. Bergami. “DECLAREd: A Polytime LTLf Fragment”. Logics. 2024. (Dataset)