Automatic Case Analysis in Proof by Induction

Adel Bouhoula, Michaƫl Rusinowitch. Automatic Case Analysis in Proof by Induction. In IJCAI. pages 88-94, 1993.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.