A fixed point semantics for an extended CLP language (2004)

by M Garćıa-Dı́az, S Nieva
Venue:In 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP’04) Herbert Kuchen editor. Technical Report AIB-2004-05