Axiomatisation and decidability of multi-dimensional Duration Calculus
scientific article; zbMATH DE number 5128122