Baravykaitė, M. . The Temolate for Parallel Branch Algorithm. LMR 2004, 44 (spec.), 220–225. https://doi.org/10.15388/LMR.2004.31612.