PaperProgram equivalence and context-free grammarsBarry K. RosenJournal of Computer and System Sciences
PaperDecomposition of heterogeneous classification problemsChidanand Apte, Se June Hong, et al.Intelligent Data Analysis
PaperEfficiently Computing Static Single Assignment form and the Control Dependence GraphRon Cytron, Jeanne Ferrante, et al.ACM TOPLAS