@article{IR,
      author = {Fegaras, Leonidas},
      url = {http://digitalcollections.ohsu.edu/record/3999},
      title = {Improving programs which recurse over multiple inductive  structures},
      abstract = {cse-94-005},
      number = {IR},
      doi = {https://doi.org/10.6083/9w0323285},
      recid = {3999},
      address = {1994},
}