On the detection of some periodic loops during the execution of Prolog programs
Tom 28 / 1993
Banach Center Publications 28 (1993), 151-166
DOI: 10.4064/-28-1-151-166
