@MISC{YELLOW_1.MIZ,
  AUTHOR = {Grabowski, Adam and Milewski, Robert},
  TITLE = {Boolean Posets, Posets under Inclusion and
   Products of Relational Structures},
  NOTE = {This work was partially supported by
   Office of Naval Research Grant N00014-95-1-1336.},
  ACKNOWLEDGEMENT = {The authors would like to express their gratitude to Professor Andrzej
Trybulec for his help in formulating mizared definition of the product.},
  SECTION1 = {Boolean Posets and Posets under Inclusion},
  SECTION2 = {Products of Relational Structures},
  DAY = {20},
  MONTH = {September},
  YEAR = {1996},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  ADDRESS2 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {In the paper some notions useful in formalization of \cite{CCL} are introduced,
e.g. the definition of the poset of subsets of a set with inclusion as an
ordering relation. Using the theory of many sorted sets authors  formulate 
the definition
of product of relational structures.}}

