Jean-Pierre Jouannaud
Membership equational logic, calculus of inductive instructions, and rewrite logic
WRLA, 1998.
@article{WRLA-1998-Jouannaud,
author = "Jean-Pierre Jouannaud",
doi = "10.1016/S1571-0661(05)80024-6",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "388--393",
title = "{Membership equational logic, calculus of inductive instructions, and rewrite logic}",
volume = 15,
year = 1998,
}