3V A Saraswat.Concurrent constraint programmin[D].Doctofial Dissertation Award and Logic programming Series,MIT Press,1993.
4Peter Van Roy.Logic Programming in Oz with Mozart[C].In:The 1999 International Conference of Logic Programming,Las Cruces,New Mexico, USA, 1999-11-29-12-04:38-51.
5Gert Smolka.The Oz programming model[J].In Computer Science Today, Lecture Notes in Computer Science, Springer Verlag, Berlin, 1995 ; 1000: 324-343.
6P Van Hentenryck.Constraint satisfaction with constraint logic programmin[J].Artificial intelligence, 1993 ; 58 : 113-159.
7S Janson,S Haridi.Programming paradigms of the Andorra kemel language[C].In:V Saraswat,K Ueda eds.Logic Programming,Proc 1991 Int Symposium,The MIT Press,Cambridge,MA, 1991 : 167-186.
8Michael J Maher.Logic semantics for a class of committed choice programs[C].In:Proc of the Fourth International Conference on Logic Programming, MIT Press, 1987.
