Cardinality Analysis of Prolog. - C. Braem; Baudouin Le Charlier; S. Modart; Pascal Van Hentenryck (ILPS, 1994)