DBLP Record 'journals/ml/DietzenP92'

BibTeX

@article{DBLP:journals/ml/DietzenP92,
  author    = {Scott Dietzen and
               Frank Pfenning},
  title     = {Higher-Order and Modal Logic as a Framework for Explanation-Based
               Generalization},
  journal   = {Machine Learning},
  volume    = {9},
  year      = {1992},
  pages     = {23-55},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}