@ARTICLE(	VG87a,
	AUTHOR = "Van Gelder, Allen",
	TITLE = "Efficient loop detection in {P}rolog using the
		tortoise and hare technique",
	JOURNAL = "Journal of Logic Programming",
	VOLUME = "4", NUMBER = "1",
	YEAR = "1987",
	PAGES = "23--33"	)