David Randolph Jefferson
-
Deciding Combinations of Theories
Journal of the ACM (JACM)
SYNTACTIC AND SEMANTIC DEPENDENCE OF ARRAY-ARITHMETIC SENTENCES, WITH AN APPLICATION TO PROGRAM VERIFICATION
Fundamenta Informaticae