"Restructuring Logic Representations with Easily Detectable Simple ..."

Hiroshi Sawada, Shigeru Yamashita, Akira Nagoya (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics