TY  - GEN
N2  - cse-94-005
DO  - 10.6083/9w0323285
DO  - DOI
AB  - cse-94-005
T1  - Improving programs which recurse over multiple inductive structures
DA  - 1994
AU  - Fegaras, Leonidas
L1  - https://digitalcollections.ohsu.edu/record/3999/files/csetech-316.pdf
PY  - 1994
ID  - 3999
L4  - https://digitalcollections.ohsu.edu/record/3999/files/csetech-316.pdf
TI  - Improving programs which recurse over multiple inductive structures
Y1  - 1994
L2  - https://digitalcollections.ohsu.edu/record/3999/files/csetech-316.pdf
LK  - https://digitalcollections.ohsu.edu/record/3999/files/csetech-316.pdf
UR  - https://digitalcollections.ohsu.edu/record/3999/files/csetech-316.pdf
ER  -