Steven Hardy
Teknowledge Inc., Palo Alto, CA
Search in concurrent logic languages
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing