A semi-canonical form for sequential AIGs | IEEE Conference Publication | IEEE Xplore