BibTeX record journals/jair/BoothMVW11

download as .bib file

@article{DBLP:journals/jair/BoothMVW11,
  author    = {Richard Booth and
               Thomas Andreas Meyer and
               Ivan Jos{\'{e}} Varzinczak and
               Renata Wassermann},
  title     = {On the Link between Partial Meet, Kernel, and Infra Contraction and
               its Application to Horn Logic},
  journal   = {J. Artif. Intell. Res.},
  volume    = {42},
  pages     = {31--53},
  year      = {2011},
  url       = {https://doi.org/10.1613/jair.3364},
  doi       = {10.1613/jair.3364},
  timestamp = {Sat, 19 Oct 2019 19:56:37 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jair/BoothMVW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics