David A. Plaisted 44-51 conf/stoc/STOC4 1972 STOC db/conf/stoc/stoc72.html#Plaisted72 https://doi.org/10.1145/800152.804895