Superposition as a decision procedure for timed automata
scientific article; zbMATH DE number 6157645
scientific article