@STRING{ismvl	= {International Symposium on {M}ulti-{V}alued {L}ogic} }
@inproceedings{Gro:2014,
  author    = {Daniel Gro{\ss}e},
  title     = {Circuit Design: Slip Schedule or Automate Debug},
  booktitle = ismvl,
  year      = {2014}
}