Resolution with Order and Selection for Hybrid Logics Carlos ArecesDaniel Gorín OriginalPaper 06 March 2010 Pages: 1 - 42
ABox Abduction in the Description Logic \(\boldsymbol{\mathcal{ALC}}\) Szymon KlarmanUlle EndrissStefan Schlobach OriginalPaper 23 February 2010 Pages: 43 - 80
A Framework for Certified Boolean Branch-and-Bound Optimization Javier LarrosaRobert NieuwenhuisEnric Rodríguez-Carbonell OriginalPaper 30 April 2010 Pages: 81 - 102