Bonacina, M. P., Furbach, U., & Sofronie-Stokkermans, V. (2015). On First-Order
Model-Based Reasoning. In N. Martí-Oliet, P. C. Ölveczky, & C. Talcott (Eds.),
Logic, Rewriting, and Concurrency (pp. 181-204). Berlin: Springer. doi:10.1007/978-3-319-23165-5_8.