@MISC{CQC_THE3.MIZ,
  AUTHOR = {Okhotnikov, Oleg},
  TITLE = {Logical Equivalence of Formulae},
  NOTE = {This work has been done while the author visited Warsaw University
in Bia{\l}ystok, in winter 1994--1995.},
  ACKNOWLEDGEMENT = {The author wishes to thank Professor A. Trybulec for many helpful
talks during the preparation of this paper.},
  DAY = {24},
  MONTH = {January},
  YEAR = {1995},
  ADDRESS1 = {Ural University
Ekaterinburg}}

