LeungRHTG95'

BibTeX

@article{DBLP:journals/ipl/LeungRHTG95,
  author    = {Hing Leung and
               Desh Ranjan and
               H{\'e}ctor J. Hern{\'a}ndez and
               D. T. Tang and
               Agustin Gonz{\'a}lez},
  title     = {A Simple Proof on the Decidability of Equivalence Between
               Recursive and Nonrecursive Datalog Programs},
  journal   = {Inf. Process. Lett.},
  volume    = {55},
  number    = {5},
  year      = {1995},
  pages     = {279-282},
  ee        = {http://dx.doi.org/10.1016/0020-0190(95)00097-V},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}