Frame problem (English Wikipedia)

Reynolds, J.C. (2002). "Separation logic: A logic for shared mutable data structures". Proceedings 17th Annual IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark: IEEE Comput. Soc. pp. 55–74. doi:10.1109/LICS.2002.1029817. ISBN 978-0-7695-1483-3. S2CID 6271346.
O'Hearn, Peter (2019-01-28). "Separation logic". Communications of the ACM. 62 (2): 86–95. doi:10.1145/3211968. ISSN 0001-0782.
O'Hearn, Peter; Reynolds, John; Yang, Hongseok (2001). "Local Reasoning about Programs that Alter Data Structures". In Fribourg, Laurent (ed.). Computer Science Logic. Lecture Notes in Computer Science. Vol. 2142. Berlin, Heidelberg: Springer. pp. 1–19. doi:10.1007/3-540-44802-0_1. ISBN 978-3-540-44802-0.
Calcagno Cristiano; Dino Distefano; Peter O'Hearn; Hongseok Yang (2011-12-01). "Compositional Shape Analysis by Means of Bi-Abduction". Journal of the ACM. 58 (6): 1–66. doi:10.1145/2049697.2049700. S2CID 52808268.
Distefano, Dino; Fähndrich, Manuel; Logozzo, Francesco; O'Hearn, Peter (2019-07-24). "Scaling static analyses at Facebook". Communications of the ACM. 62 (8): 62–70. doi:10.1145/3338112.

ox.ac.uk (Global: 541^st place; English: 356^th place)

McCarthy, J; P.J. Hayes (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. 4: 463–502. CiteSeerX 10.1.1.85.5082. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

Reynolds, J.C. (2002). "Separation logic: A logic for shared mutable data structures". Proceedings 17th Annual IEEE Symposium on Logic in Computer Science. Copenhagen, Denmark: IEEE Comput. Soc. pp. 55–74. doi:10.1109/LICS.2002.1029817. ISBN 978-0-7695-1483-3. S2CID 6271346.
Calcagno Cristiano; Dino Distefano; Peter O'Hearn; Hongseok Yang (2011-12-01). "Compositional Shape Analysis by Means of Bi-Abduction". Journal of the ACM. 58 (6): 1–66. doi:10.1145/2049697.2049700. S2CID 52808268.