Login / Signup

Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique.

Allen Van Gelder
Published in: J. Log. Program. (1987)
Keyphrases