GEMINI-a logic system for fault diagnosis based on set functions | IEEE Conference Publication | IEEE Xplore