@TechReport{Navara-TR-2001-09,
  IS = { zkontrolovano 13 Apr 01 },
author =      {Navara, Mirko},
title =       {Product Logic is not Compact},
institution = {Center for Machine Perception,  K333 FEE, Czech Technical
University},
address =     {Prague, Czech Republic},
year =        {2001},
month =       {February},
type =        {Research Report},
number =      {{CTU--CMP--2001--09}},
pages =       {5},
psurl       = {
[TR_ncompact.ps.gz]},
project =     {MSM 212300013},
issn      = {1213-2365},
}