C. Dennis Weiss

M.-W. Du and C. D. Weiss, "Circuit Structure and Switching Function Verification", Transaction on Computer, Vol. C-22, no. 6, June 1973