1. Superposition modulo linear arithmetic SUP(LA);Althaus,2009
2. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
3. Bounded model checking of software using SMT solvers instead of SAT solvers;Armando;Int. J. Softw. Tools Technol. Transf.,2009
4. A generic framework for symbolic execution;Arusoaie,2013
5. Expressiveness of Conditional Equational Systems with Built-in Predicates;Ayala-Rincón,1993