ToyamaKB95'

BibTeX

@article{DBLP:journals/jacm/ToyamaKB95,
  author    = {Yoshihito Toyama and
               Jan Willem Klop and
               Hendrik Pieter Barendregt},
  title     = {Termination for Direct Sums of Left-Linear Complete Term
               Rewriting Systems},
  journal   = {J. ACM},
  volume    = {42},
  number    = {6},
  year      = {1995},
  pages     = {1275-1304},
  ee        = {http://doi.acm.org/10.1145/227683.227689},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}