Implementing Prolog Programs Free from Unification. - Paolo Frigo; Massimo Marchiori (WLP, 1994)