Deductive Mathematical Databases - A Case Study.

Gregory Butler, Sridhar S. Iyer

Browse the full SSDBM paper archive.