P.  Mancarella, Pedreschi, D., Rondinelli, M., and Tagliatti, M., ?Algebraic Properties of a Class of Logic Programs?, in NACLP, 1990, pp. 23-39.