@article{AFM95,

Author    = "M. Alpuente and M. Falaschi and F. Manzo", 

Title     = "Analyses of {U}nsatisfiability for{E}quational {L}ogic
            {P}rogramming",

Journal   = "Journal of Logic Programming",

Volume    = 22,

Number    = 3,

Year      = 1995, 

Pages     = "221-252"

}