Metric Methods in the Semantics of Logic Programs.

Melvin Fitting Metric Methods in the Semantics of Logic Programs. 69-71 1993 ILPS db/conf/slp/slp93.html#Fitting93