Fietzke, Arnaud Luc Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Fietzke, A. L., & Weidenbach, C. (2013). Superposition as a Decision Procedure for Timed Automata. Mathematics in Computer Science, 6(4), 409-425. doi:10.1007/s11786-012-0134-5.