Combining tableaux and algebraic methods for reasoning with qualified number restrictions (2001) [5 citations — 2 self]

Popular Tags

No tags have been applied to this document.

Add a tag:

BibTeX | Add To MetaCart

@INPROCEEDINGS{Haarslev01combiningtableaux,
    author = {Volker Haarslev and Martina Timmann and Ralf Moller},
    title = {Combining tableaux and algebraic methods for reasoning with qualified number restrictions},
    booktitle = {In this volume},
    year = {2001},
    pages = {152--161}
}