@article{AFV96,

	author = {M. Alpuente and M. Falaschi and G. Vidal}, 

	title = {A {C}ompositional {S}emantic {B}asis for the {A}nalysis of
          {E}quational {H}orn {P}rograms},

	journal = {Theoretical Computer Science},

 volume = 165,

 number = 1,

 pages = "97-131",

 month = {Sept.},

 year = 1996
}