William M. Farmer Martin von Mohrenschildt An Overview of a Formal Framework for Managing Mathematics. 165-191 2003 38 Ann. Math. Artif. Intell. 1-3 db/journals/amai/amai38.html#FarmerM03