Cites del registre
Cita APA (7th ed.)
Fuchs, A., Goel, A., Grundy, J., Krstić, S., & Tinelli, C. (2012). Ground interpolation for the theory of equality. Logical Methods in Computer Science e.V.
Copiat
No s'ha pogut copiar
Cita Chicago (17th ed.)
Fuchs, Alexander, Amit Goel, Jim Grundy, Sava Krstić, i Cesare Tinelli. Ground Interpolation for the Theory of Equality. Logical Methods in Computer Science e.V, 2012.
Copiat
No s'ha pogut copiar
Cita MLA (9th ed.)
Fuchs, Alexander, et al. Ground Interpolation for the Theory of Equality. Logical Methods in Computer Science e.V, 2012.
Copiat
No s'ha pogut copiar
Atenció: Aquestes cites poden no estar 100% correctes.