@inproceedings{conf/dlog/WuH08,
title = {Planning of Axiom Absorption.},
author = {Jiewen Wu and Volker Haarslev},
booktitle = {Description Logics},
crossref = {conf/dlog/2008},
editor = {Franz Baader and Carsten Lutz and Boris Motik},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2008.html#WuH08},
volume = {353},
year = {2008},
description = {dblp},
date = {2008-06-26}, ee = {http://ceur-ws.org/Vol-353/WuHaarslev.pdf},
keywords = {dblp }
}
::