Algorithms for Calculation of Logical Derivatives for Survival Signature and their Analysis | IEEE Conference Publication | IEEE Xplore