Yury Puzis Yi Gao Geoff Sutcliffe Automated Generation of Interesting Theorems. 49-54 2006 conf/flairs/2006 FLAIRS Conference db/conf/flairs/flairs2006.html#PuzisGS06