A shared-memory multiprocessor garbage collector and its evaluation for committed-choice logic programs - Imai, Akira; Tick, Evan (1991)