@PROCEEDINGS{tmma,
  title        = {Towards Mechanized Mathematical Assistants},
  editor       = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang
                  Windsteiger},
  isbn         = {978-3-540-73083-5},
  language     = {english},
  location     = {Berlin Heidelberg},
  number       = {Volume 4573},
  pagetotal    = {410},
  publisher    = {Springer},
  series       = {Lecture Notes in Computer Science},
  titleaddon   = {14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007,
                  Hagenberg, Austria, June 27-30, 2007. Proceedings},
  year         = {2007},
  issn         = {0302-9743},
  langid       = {english},
}