Philippe Devienne Patrick Lebègue Weighted Graphs: A Tool for Logic Programming. 100-111 1986 conf/caap/1986 CAAP db/conf/caap/caap86.html#DevienneL86 https://doi.org/10.1007/BFb0022662