@INPROCEEDINGS{MPB:CILC2013:modelbased,
AUTHOR = "Maria Paola Bonacina",
TITLE = "On model-based reasoning: recent trends and current developments (Abstract)",
BOOKTITLE = "Proceedings of the Twenty-Eighth Italian Conference on
Computational Logic (CILC)",
EDITOR = "Domenico Cantone and Marianna Nicolosi Asmundo",
PUBLISHER = "CEUR WS-org",
SERIES = "CEUR Proceedings",
VOLUME = 1068,
PAGES = "9--9",
MONTH = "October",
YEAR = 2013}