Synthesis by completion

Simple Word Problems in Universal Algebras

1983 • 1,420 citations

A Transformation System for Developing Recursive Programs

1977 • 1,316 citations

Equations and Rewrite Rules: A Survey

1980 • 726 citations

Orderings for term-rewriting systems

1982 • 622 citations

Predicate Logic as Programming Language.

1974 • 605 citations

A Deductive Approach to Program Synthesis

1980 • 581 citations

Principles of OBJ2

1985 • 476 citations

Complete Sets of Reductions for Some Equational Theories

1981 • 416 citations

HOPE

1980 • 355 citations

Programming with Equations

1982 • 139 citations

Derivation of Logic Programs

1981 • 132 citations

Computer experiments with the REVE term rewriting system generator

1983 • 126 citations

Computing with rewrite systems

1985 • 109 citations

Rewrite methods for clausal and non-clausal theorem proving

2006 • 93 citations

Stop losing sleep over incomplete data type specifications

1984 • 46 citations