Finite and infinite computations of logic programs M.-A. Nait Abdallah (1988) Banach Center Publications