Iwasaki, Y., S. Tessler, and K. Law,  Diagrammatic Reasoning for Qualitative Structural Analysis,  , no. TR094, 05/1994.