Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment

@inproceedings{Hladik2002ImplementationAE,
  title={Implementation and Evaluation of a Tableau Algorithm for the Guarded Fragment},
  author={Jan Hladik},
  booktitle={Description Logics},
  year={2002}
}