Sibylla Priess-Crampe Paulo Ribenboim Ultrametric Spaces and Logic Programming. 59-70 2000 42 J. Log. Program. 2 db/journals/jlp/jlp42.html#Priess-CrampeR00