@phdthesis{RISC4605,
author = {Madalina Erascu},
title = {{Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms}},
language = {english},
year = {2012},
note = {RISC Technical Report 12-16},
translation = {0},
school = {Research Institute for Symbolic Computation},
length = {109}
}