Gregory Butler Sridhar S. Iyer Deductive Mathematical Databases - A Case Study. 50-64 SSDBM90/P050.pdf 1990 SSDBM db/conf/ssdbm/ssdbm90.html#ButlerI90 conf/ssdbm/90 db/conf/ssdbm/ButlerI90.html conf/issac/ButlerC88 ... ... ... books/sp/ClocksinM81 ... ... ... ... ... journals/acj/Lloyd83 ... ... ... ... ... ... conf/iclp/RamamohanaraoS86 ... ... journals/acj/ToporKW85 ...