TY  - RPRT
TI  - Threads and Or-Parallelism Unified
AU  - Vítor Santos Costa
AU  - Inês Dutra
AU  - Ricardo Rocha
PY  - 2010
DO  - 10.1017/s1471068410000190
UR  - https://arxiv.org/abs/1007.4438
ID  - 1007.4438
ER  -