Janusz Rajski. GEMINI-a logic system for fault diagnosis based on set functions. In Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, FTCS 1988, Tokyo, Japan, 27-30 June, 1988. pages 292-297, IEEE Computer Society, 1988. [doi]
Abstract is missing.