Making exhaustive search programs deterministic

The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)

Generators and the replicator control structure in the parallel environment of ALLOY

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

Binary Speed Up for Logic Programs

CL '00 Proceedings of the First International Conference on Computational Logic

Development reuse and the logic program derivation of two string-matching algorithms

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

Chain programs for writing deterministic metainterpreters

Theory and Practice of Logic Programming

Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses