Stem allen$ (all stems)

2 papers:

LATA-2015-BresolinMMSS #complexity #logic #on the

On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures (DB, DDM, AM, PS, GS), pp. 511–523.

CAV-2006-RosuB #linear #logic #ltl #monitoring #synthesis

Allen Linear (Interval) Temporal Logic — Translation to LTL and Monitor Synthesis (GR, SB), pp. 263–277.