Parameterized Metareasoning in Membership Equational Logic | Publicación