@inproceedings{DBLP:conf/scai/SebastianiS91,
  author    = {Fabrizio Sebastiani and
               Umberto Straccia},
  editor    = {Brian H. Mayoh},
  title     = {A Computationally Tractable Terminological Logic},
  booktitle = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
               Roskilde, Denmark, May 21-24, 1991, Proceedings},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {12},
  pages     = {307--315},
  publisher = {{IOS} Press},
  year      = {1991},
  timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/scai/SebastianiS91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"cWHKaTWcwFj8CyJDA","bibbaseid":"sebastiani-straccia-acomputationallytractableterminologicallogic-1991","author_short":["Sebastiani, F.","Straccia, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Fabrizio"],"propositions":[],"lastnames":["Sebastiani"],"suffixes":[]},{"firstnames":["Umberto"],"propositions":[],"lastnames":["Straccia"],"suffixes":[]}],"editor":[{"firstnames":["Brian","H."],"propositions":[],"lastnames":["Mayoh"],"suffixes":[]}],"title":"A Computationally Tractable Terminological Logic","booktitle":"Third Scandinavian Conference on Artificial Intelligence, SCAI 1991, Roskilde, Denmark, May 21-24, 1991, Proceedings","series":"Frontiers in Artificial Intelligence and Applications","volume":"12","pages":"307–315","publisher":"IOS Press","year":"1991","timestamp":"Mon, 05 Aug 2019 17:00:40 +0200","biburl":"https://dblp.org/rec/conf/scai/SebastianiS91.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/scai/SebastianiS91,\n author = {Fabrizio Sebastiani and\n Umberto Straccia},\n editor = {Brian H. Mayoh},\n title = {A Computationally Tractable Terminological Logic},\n booktitle = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,\n Roskilde, Denmark, May 21-24, 1991, Proceedings},\n series = {Frontiers in Artificial Intelligence and Applications},\n volume = {12},\n pages = {307--315},\n publisher = {{IOS} Press},\n year = {1991},\n timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},\n biburl = {https://dblp.org/rec/conf/scai/SebastianiS91.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Sebastiani, F.","Straccia, U."],"editor_short":["Mayoh, B. H."],"key":"DBLP:conf/scai/SebastianiS91","id":"DBLP:conf/scai/SebastianiS91","bibbaseid":"sebastiani-straccia-acomputationallytractableterminologicallogic-1991","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/s/UmbertoStraccia.bib","dataSources":["6irvXp6A5KCALDdaf"],"keywords":[],"search_terms":["computationally","tractable","terminological","logic","sebastiani","straccia"],"title":"A Computationally Tractable Terminological Logic","year":1991}