PSpace Reasoning with the Description Logic ALCF(D)

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @article{DBLP:journals/igpl/Lutz02, 

 author    = {Carsten Lutz},
 title     = {PSpace Reasoning with the Description Logic ALCF(D)},
 journal   = {Logic Journal of the IGPL},
 volume    = {10},
 number    = {5},
 year      = {2002},
 pages     = {535-568},
 ee        = {http://www3.oup.co.uk/igpl/Volume_10/Issue_05/\#Lutz},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/PSpace_Reasoning_with_the_Description_Logic_ALCF%28D%29"
Personal tools