PP424 | 1990 Paper in Conference Proceedings | Basin,D |
---|---|---|
Equality of Terms Containing Associative Commutative Functions and Commutative Binding Operators is Isomorphism Complete | ||
PP454 | 1990 Paper in Conference Proceedings | Bundy,A; van Harmelen,F; Smaill,AD; Ireland,A |
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs |