Fujio Tsutsumi An Efficient Algorithm of Logic Programming with Constraint Hierarchy. 170-182 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#Tsutsumi94