%0 Conference Paper %1 conf/dlog/Horrocks02 %A Horrocks, Ian %B Description Logics %D 2002 %E Horrocks, Ian %E Tessaris, Sergio %I CEUR-WS.org %K dblp %T Backtracking and Qualified Number Restrictions: Some Preliminary Results. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2002.html#Horrocks02 %V 53

@inproceedings{conf/dlog/Horrocks02, added-at = {2023-03-10T00:00:00.000+0100}, author = {Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2553df1410e12dd8d33f42a334dab69c2/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/2002}, editor = {Horrocks, Ian and Tessaris, Sergio}, ee = {https://ceur-ws.org/Vol-53/horrocks.ps}, interhash = {ee648ebe73c64fd7d3f19be5553f23a2}, intrahash = {553df1410e12dd8d33f42a334dab69c2}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:00:12.000+0200}, title = {Backtracking and Qualified Number Restrictions: Some Preliminary Results.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2002.html#Horrocks02}, volume = 53, year = 2002 }