Michiharu Niimi, Eiji Kawaguchi: An Automatic Abstraction Method by using SD-Forms. EJC 1998: 132-135