P.  Mancarella and Pedreschi, D., ?An Algebra of Logic Programs?, in ICLP/SLP, 1988, pp. 1006-1023.