author = {Isabela Dramnesc and Tudor Jebelean},}
title = {{Systematic Exploration of List Theory in Theorema}},
language = {english},
journal = {Scientific Bulletin of the "Politehnica" University of Timisoara, Transactions on Automatic Control and Computer Science},
number = {4/2012},
pages = {203--210},
isbn_issn = {ISSN 1224-600X},
year = {2012},
refereed = {yes},
length = {8}