@article{IR,
      author = {Day, Nancy A.},
      url = {http://digitalcollections.ohsu.edu/record/3798},
      title = {Taking the hol out of HOL},
      abstract = {cse-00-003},
      number = {IR},
      doi = {https://doi.org/10.6083/79407x533},
      recid = {3798},
      address = {2000},
}