Equational programming

Inheritance and constraint-based grammar formalisms

Computational Linguistics - Special issue on inheritance: I

Deductive and inductive synthesis of equational programs

Journal of Symbolic Computation - Special issue on automatic programming

Jeopardy

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications

Applying Rewriting Techniques to the Verification of Erlang Processes

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic

Computing with subspaces

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming

Programming with narrowing: A tutorial

Journal of Symbolic Computation

Inductive synthesis of equational programs

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Computationally equivalent elimination of conditions

RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications

Lazy narrowing with simplification

Computer Languages