Murali, A., Peña, L., Löding, C., & Madhusudan, P. (2020). A First-Order Logic with Frames. Programming Languages and Systems.
Citación estilo ChicagoMurali, Adithya, Lucas Peña, Christof Löding, y P. Madhusudan. "A First-Order Logic With Frames." Programming Languages and Systems 2020.
Cita MLAMurali, Adithya, Lucas Peña, Christof Löding, y P. Madhusudan. "A First-Order Logic With Frames." Programming Languages and Systems 2020.
Precaución: Estas citas no son 100% exactas.