@InBook{AFGL93,

Author    = "M. Alpuente and M. Falaschi and M. Gabbrielli and G. Levi",

Title     = "Logic Programming Languages: {C}onstraints, {F}unctions and
            {O}bjects", 

Chapter   = "The {S}emantics of {E}quational {L}ogic {P}rogramming
             as an Instance of {CLP}", 

Publisher = "MIT Press, Cambridge, Mass.",

Editors   = "K. R. Apt and J. W. de Bakker and J. J. M. M. Rutten",

Year      = "1993",

Pages     = "49-81"

}