Unfolding and fixpoint semantics of concurrent constraint logic programs

From MaRDI portal
Publication:1200981