How to prove properties of recursively de ned circuits using Stalmarck's method (1998)

by Mary Sheeran, Arne Boralv
Venue:In Formal Techniques for Hardware and Hardware-like Systems. Marstrand