Preliminaries to circuits (1994)

by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, Pauline N Kawamoto
Venue:I. Journal of Formalized Mathematics