CoxM91'

BibTeX

@inproceedings{DBLP:conf/wclp/CoxM91,
  author    = {Jim Cox and
               Ken McAloon},
  title     = {Decision Procedures for Constraint Based Extensions of Datalog},
  booktitle = {WCLP},
  year      = {1991},
  pages     = {17-32},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}