BibTeX record conf/ecai/RoussetH96

download as .bib file

@inproceedings{DBLP:conf/ecai/RoussetH96,
  author    = {Marie{-}Christine Rousset and
               Pascale Hors},
  title     = {Modeling and Verifying Complex Objects: {A} Declarative Approach Based
               on Description Logics},
  booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
               August 11-16, 1996, Proceedings},
  pages     = {328--334},
  year      = {1996},
  crossref  = {DBLP:conf/ecai/1996},
  timestamp = {Thu, 20 Jan 2005 15:14:50 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/RoussetH96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecai/1996,
  editor    = {Wolfgang Wahlster},
  title     = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
               August 11-16, 1996, Proceedings},
  publisher = {John Wiley and Sons, Chichester},
  year      = {1996},
  timestamp = {Thu, 03 Jan 2002 11:56:53 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}