On the Determination of Complete Sets of Logical FunctionsStanley R. PetrickGeorge C. Sethares1968IEEE TC
On the use of syntax-based translators for symbolic and algebraic manipulationS.R. Petrick1971SYMSAC 1971