a formal context. The proposed shared memory parallel algorithm Parallel-Task-In-Close3
parallelizes Andrews's In-Close3 serial algorithm. The paper presents the key parallelization
strategy used and presents experimental results of the parallelization using the OpenMP
framework.