"On First-Order Model-Based Reasoning."

Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics