An Automatic Abstraction Method by using SD-Forms.

Michiharu Niimi, Eiji Kawaguchi

Browse the full EJC paper archive.