Finite and infinite computations of logic programs

Publishing house / Banach Center Publications / All volumes

M.-A. Nait Abdallah Banach Center Publications 21 (1988), 299-313 DOI: 10.4064/-21-1-299-313