Poole, David L2017-12-212017-12-211982b1126174http://hdl.handle.net/1885/138940173 leaves in various foliationsProblem solvingAutomatic theorem provingThe theory of CES : a complete expert systemTheory of C.E.S198210.25911/5d6cfb79d08592017-11-23