@MISC{OSAFREE.MIZ,
  AUTHOR = {Urban, Josef},
  TITLE = {Free Order Sorted Universal Algebra},
  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 = {Preliminaries},
  SECTION2 = {Construction of Free Order Sorted Algebras for Given Signature},
  SECTION3 = {Minimal Terms},
  DAY = {19},
  MONTH = {September},
  YEAR = {2002},
  ADDRESS1 = {Charles University
Praha},
  SUMMARY = {Free Order Sorted Universal Algebra --- the general
   construction for any locally directed signatures.}}

