An algorithm for reducing circuit equations in computer applications | IEEE Conference Publication | IEEE Xplore