@InProceedings{LVint,
  author = {Levandovskyy, V.},
  title = {Intersection of Ideals with Non-commutative Subalgebras},
  booktitle = "Proc. of the International Symposium on Symbolic
    and Algebraic Computation (ISSAC'06)",
  publisher = {ACM Press},
  editor    = {Dumas, J.-G.},
  pages     = "212--219",
  year      = {2006}
}