@ARTICLE{NavaraTkadlecCMUC91,
  IS = { zkontrolovano 23 Jan 2009 },
  UPDATE  = { 2009-01-23 },
  AUTHOR =   {Navara, Mirko and Tkadlec, Josef},
  TITLE =   {Automorphisms of concrete logics},
  JOURNAL =   {Commentationes Mathematicae Universitatis Carolinae},
  ISSN = {0010-2628},
  YEAR =   {1991},
  VOLUME =   {32},
  PAGES =   {15--25},
}