Algebraic Methods in the Compositional Analysis of Logic Programs.

Fernando Orejas, Elvira Pino, Hartmut Ehrig

Browse the full MFCS paper archive.