A hierarchy of semantics for normal constraint logic programs (1996)

by Francois Fages, Roberta Gori
Venue:In Algebraic and Logic Programming