RRL: A Rewrite Rule Laboratory

Automating inductionless induction using test sets

Journal of Symbolic Computation

Automated synthesis of interface adapters for reusable classes

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Verifying imprecisely working arithmetic circuits

DATE '99 Proceedings of the conference on Design, automation and test in Europe

Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories

Journal of Functional Programming

Rewriting of imperative programs into logical equations

Science of Computer Programming

Rewriting, inference, and proof

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications

The Clause-Diffusion Methodology For Distributed Deduction

Fundamenta Informaticae