@inproceedings{Baader-Okhotin-UNIF-06,
  author =       {F. Baader and A. Okhotin},
  title =        {Complexity of Language Equations With One-Sided
                  Concatenation and All {B}oolean Operations},
  booktitle = {Proceedings of the 20th International Workshop on Unification,
               {UNIF'06}},
  year = {2006},
  pages = {59--73},
  editor = {Jordi Levy},
}