Albert Lee Laxdal

• A mechanization of Quine's canonical form