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