权威例句
Building in equational theoriesProofs by induction in equational theories with constructorsProofs by induction in equational theories with constructorsRewrite-based Equational Theorem Proving with Selection and SimplificationSpecification and proof in membership equational logicComplete Sets of Reductions for Some Equational TheoriesDeciding Knowledge in Security Protocols Under Equational TheoriesMembership algebra as a logical framework for equational specificationMembership Algebra as a Logical Framework for Equational SpecificationOrder-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations ☆