Algebraic Methods in the Compositional Analysis of Logic Programs.

Fernando Orejas Elvira Pino Hartmut Ehrig Algebraic Methods in the Compositional Analysis of Logic Programs. 112-126 1994 conf/mfcs/1994 MFCS db/conf/mfcs/mfcs94.html#OrejasPE94 http://dx.doi.org/10.1007/3-540-58338-6_62