Ultrametric Spaces and Logic Programming. - Sibylla Priess-Crampe; Paulo Ribenboim (J. Log. Program., 2000)