@inproceedings{DBLP:conf/rr/BruijnR09,
  added-at = {2010-03-10T13:39:45.000+0100},
  author = {de Bruijn, Jos and Rezk, Mart\'{\i}n},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  biburl = {http://www.bibsonomy.org/bibtex/2b2195cc02300859873d5367e3b99c630/ontorule},
  booktitle = {RR},
  crossref = {DBLP:conf/rr/2009},
  ee = {http://dx.doi.org/10.1007/978-3-642-05082-4_18},
  interhash = {4bfbc20c0abe16cf46a617b97dcdd92f},
  intrahash = {b2195cc02300859873d5367e3b99c630},
  keywords = {logi ontorule production rules},
  pages = {254-268},
  timestamp = {2010-03-10T13:39:45.000+0100},
  title = {A Logic Based Approach to the Static Analysis of Production
               Systems},
  url = {http://www-sop.inria.fr/oasis/SAFA/abstracts09/safa09-BR.pdf},
  year = 2009
}