Sergio Muñoz Jorge Pérez Claudio Gutiérrez Minimal Deductive Systems for RDF. 53-67 2007 conf/esws/2007 ESWC http://dx.doi.org/10.1007/978-3-540-72667-8_6 db/conf/esws/eswc2007.html#MunozPG07