Chocrón, P., & López Pombo, C. G. (2014). A study of the combination problem: Dealing with multiple theories in SMT solving. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Cita Chicago Style (17a ed.)Chocrón, Paula, y Carlos Gustavo López Pombo. A Study of the Combination Problem: Dealing with Multiple Theories in SMT Solving. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2014.
Cita MLA (8a ed.)Chocrón, Paula, y Carlos Gustavo López Pombo. A Study of the Combination Problem: Dealing with Multiple Theories in SMT Solving. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2014.
Precaución: Estas citas no son 100% exactas.