EasyChair Smart Slide
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies