Henri E. Bal
-
Search in concurrent logic languages
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Applying prolog to develop distributed systems
Theory and Practice of Logic Programming