TY  - RPRT
TI  - Library of Practical Abstractions, Release 1.2
AU  - Eric Sven Ristad
AU  - Peter N. Yianilos
PY  - 1997
UR  - https://arxiv.org/abs/cmp-lg/9706009
ID  - cmp-lg/9706009
ER  -