Emil Gizdarski, Hideo Fujiwara. Spirit: satisfiability problem implementation for redundancy identification and test generation. In 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan. pages 171-178, IEEE Computer Society, 2000. [doi]
Abstract is missing.