author = {Boris Konev and Tudor Jebelean},
title = {{Solution Lifting Method for Handling Meta-variables in Theorema}},
booktitle = {{Proceedings of SYNASC01}},
language = {english},
pages = {15--23},
publisher = {Mirton},
address = {Timisoara, Romania},
isbn_issn = {ISSN: 973-661-441-7},
year = {2001},
month = {October},
editor = {S. Maruster and B. Buchberger and V. Negru and T. Jebelean},
refereed = {yes},
length = {9},
conferencename = {3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing}