A Reducing Method for Set of Clauses using Matrices. - Nishioka, Hiroaki (Systems & Computers in Japan, 1987)