Carsten Lutz PSpace Reasoning with the Description Logic ALCF(D). 535-568 2002 10 Logic Journal of the IGPL 5 http://dx.doi.org/10.1093/jigpal/10.5.535 db/journals/igpl/igpl10.html#Lutz02