@techreport{
   survey-elp,
   author = {Michael J. O'Donnell},
   title = {Survey of the Equational Logic Programming Project},
   institution = {The University of Chicago, Department of Computer Science},
   number = {CS87--04},
   month = {March},
   year = {1987},
   note = {Presented at the {\it Colloquium on Resolution of Equations
           in Algebraic Structures,} Lakeway TX, May 1987. Did not appear in
           the proceedings.}
}