Journal of logic and algerbraic programming (Elsevier Science Pub. Co., 1984)