Teimuraz Kutsia, Andrei Voronkov,
"Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers"
, Serie RISC Report Series, Nummer 14-11, RISC, JKU, Hagenberg, Linz, 2014
Original Titel:
Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers