Threads and or-parallelism unified

Journal Article published Jul 2010 in Theory and Practice of Logic Programming volume 10 issue 4-6 on pages 417 to 432

Authors: VíTOR SANTOS COSTA, INÊS DUTRA, RICARDO ROCHA