DBLP Record 'journals/eatcs/Lawrence86'

BibTeX

@article{DBLP:journals/eatcs/Lawrence86,
  author    = {John Lawrence},
  title     = {THe non-existence of finite test sets for set-equivalence
               of finite substitions},
  journal   = {Bulletin of the EATCS},
  volume    = {28},
  year      = {1986},
  pages     = {34-36},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}