T.Nishizawa, K.Hiraki, Y.Anzai "EPOCH: A Constraint Logic Programming Language with Goal Constraint Description" JJSAI 7(3)

(1991)

Languages mentioned