Constraint Satisfaction in Distributed Concurrent Logic Programming

Ho-Fung Leung, Keith L. Clark. Constraint Satisfaction in Distributed Concurrent Logic Programming. Journal of Symbolic Computation, 21(4):699-714, 1996.

Abstract

Abstract is missing.