Partial differentiation of Boolean functions with applications to design and test | IEEE Conference Publication | IEEE Xplore