Jian Zhang Constructing Finite Algebras with FALCON. 1-22 1996 17 J. Autom. Reasoning 1 db/journals/jar/jar17.html#Zhang96