Gaya APA
Rubio, M, B, A, A.
(2009).
Paramodulation with Well-founded Orderings
.
:
.
Gaya MLA
Rubio, Miquel, Bofill, And, Albert.
"Paramodulation with Well-founded Orderings".
:
,
2009.
Text.