Nguage> SASL plus coNditioNal uNificatioN. ["A Prological DefiNitioN of HASL, A Purely FuNctioNal LaNguage with UNificatioN Based CoNditioNal BiNdiNg ExpressioNs", H. AbramsoN iN Logic ProgrammiNg: FuNctioNs, RelatioNs aNd EquatioNs, D. DeGroot et al eds, P-H 1986]. (1996-08-21)