An analysis of loop checking mechanisms for logic programs / R.N. Bol, K.R. Apt, J.W. Klop

An analysis of loop checking mechanisms for logic programs / R.N. Bol, K.R. Apt, J.W. Klop