MiddeldorpSH02'

BibTeX

@article{DBLP:journals/jflp/MiddeldorpSH02,
  author    = {Aart Middeldorp and
               Taro Suzuki and
               Mohamed Hamada},
  title     = {Complete Selection Functions for a Lazy Conditional Narrowing
               Calculus},
  journal   = {Journal of Functional and Logic Programming},
  volume    = {2002},
  year      = {2002},
  ee        = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-03.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}