Automated Enhancement of Knowledge Representations.

Robert Balzer Automated Enhancement of Knowledge Representations. 203-207 1985 conf/ijcai/1985 IJCAI db/conf/ijcai/ijcai85.html#Balzer85