Donath, W. & Hoffman, A. (1972). Algorithms for partitioning graphs and computer logic based on eigenvectors of connection matrices. IBM Technical Disclosure Bulletin, 15, 938-944.