Abramson86'

BibTeX

@incollection{DBLP:books/ph/deGrootL86/Abramson86,
  author    = {Harvey Abramson},
  title     = {A Prological Definition of HASL: A Purely Functional Language
               with Unification-Based Conditional Binding Expressions},
  booktitle = {Logic Programming: Functions, Relations, and Equations},
  year      = {1986},
  pages     = {73-129},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}