Canonical algebraic simplification in computational logic, The University of Texas at Austin Math. Dept. Memo ATP-25 (1975)

by D S Lankford
Venue:Memo AIM-286 (July;1976