@article(Nguyen08CSP-FI,
  author    = {L.A. Nguyen},
  title     = {An Efficient Tableau Prover using Global Caching
                 for the Description Logic {ALC}},
  journal   = {Fundamenta Informaticae},
  volume    = {93},
  number    = {1-3},
  year      = 2009,
  pages     = {273-288}
)