@inproceedings{DarvasMueller10, author = {{\'A}. Darvas and P. M\"uller}, title = {Proving Consistency and Completeness of Model Classes Using Theory Interpretation}, editor = {D. Rosenblum and G. Taentzer}, booktitle = {Fundamental Approaches to Software Engineering (FASE)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {6013}, year = {2010}, pages = {218--232}, url = {https://doi.org/10.1007/978-3-642-12029-9_16}, urltext = {[Publisher]} }