On the detection of some periodic loops during the execution of Prolog programs

Publishing house / Banach Center Publications / All volumes

Dimiter Skordev Banach Center Publications 28 (1993), 151-166 DOI: 10.4064/-28-1-151-166