Pierre LescanneBooksAlgebraic and logic programmingRewriting techniques and applicationsAlgebraic and logic programmingRewriting Techniques and ApplicationsRewriting Techniques and ApplicationsAuthor data: Open Library
