@MISC{QC_LANG4.MIZ,
  AUTHOR = {Okhotnikov, Oleg},
  TITLE = {The Subformula Tree of a Formula of the First Order Language},
  ACKNOWLEDGEMENT = { The author wishes to thank to G. Bancerek for his
 assistance during the preparation of this paper.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Subformula tree},
  DAY = {02},
  MONTH = {October},
  YEAR = {1995},
  ADDRESS1 = {Ural University\\Ekaterinburg},
  SUMMARY = { A continuation of \cite{QC_LANG3.ABS}. The notions of list of
  immediate constituents of a formula and subformula tree of a formula are
  introduced. The some propositions related to these notions are proved.}}

