@MISC{OSALG_2.MIZ,
  AUTHOR = {Urban, Josef},
  TITLE = {Subalgebras of an Order Sorted Algebra. {L}attice of Subalgebras},
  NOTE = {This work was done during author's research visit in
              Bialystok, funded by the CALCULEMUS grant 
 HPRN-CT-2000-00102.},
  ACKNOWLEDGEMENT = {Thanks to Joseph Goguen, for providing me with his
              articles on osas, and Andrzej Trybulec, for
              suggesting and funding this work in Bialystok.},
  SECTION1 = {Auxiliary Facts about Order Sorted Sets},
  SECTION2 = {Constants of an Order Sorted Algebra},
  SECTION3 = {Subalgebras of an Order Sorted Algebra},
  SECTION4 = {Order Sorted Subsets of an Order Sorted Algebra},
  SECTION5 = {Operations on Subalgebras of an Order Sorted Algebra},
  SECTION6 = {The Lattice of Subalgebras of an Order Sorted Algebra},
  DAY = {19},
  MONTH = {September},
  YEAR = {2002},
  ADDRESS1 = {Charles University\\Praha }}

