%0 Journal Article
%A B. Yu. Konev
%A T. Jebelean
%T Solution lifting method for handling Meta-variables in the TH$\exists$OREM$\forall$ system
%J Zapiski Nauchnykh Seminarov POMI
%D 2002
%P 94-117
%V 293
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2002_293_a4/
%G ru
%F ZNSL_2002_293_a4