"Membership equational logic, calculus of inductive instructions, and ..."

Jean-Pierre Jouannaud (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics