@inproceedings{RISC4049,
author = {Isabela Dramnesc and Tudor Jebelean and Adrian Craciun},
title = {{A Case Study in Systematic Exploration of Tuple Theory}},
booktitle = {{Workshop of Symbolic Computation in Software Science}},
language = {english},
volume = {1},
number = {10-10},
pages = {82--95},
publisher = {RISC-Linz Report Series},
isbn_issn = { },
year = {2010},
month = {29-30 July},
editor = {Tudor Jebelean and Mohamed Mosbah and Nikolaj Popov},
refereed = {yes},
institution = {Johannes Kepler University of Linz, Austria},
length = {16},
conferencename = {SCSS 2010 Symbolic Computation in Software Science, Hagenberg}
}