TY  - RPRT
TI  - A thread-safe Term Library
AU  - J. F. Groote
AU  - M. Laveaux
AU  - P. H. M. van Spaendonck
PY  - 2022
UR  - https://arxiv.org/abs/2111.02706
ID  - 2111.02706
ER  -