@techreport{Prosyd:2.3.1,
  author	= {Bloem, R. and Galler, S. and Jobstmann, B. and Pnueli, A. and Weiglhofer, M.},
  title		= {Evaluation of Tools and Methodology for Property-Based Logic Synthesis},
  year		= {2006},
  institution	= {Graz University of Technology},
  number	= {Prosyd D2.3/1},
  pdf		= {files/Prosyd2.3_1.pdf},
}