@inproceedings{lee_maurer, 
  title={Two new techniques for compiled multi-delay logic simulation}, 
  DOI={10.1109/dac.1992.227767}, 
  publisher={IEEE Comput. Soc. Press}, 
  author={Lee and Maurer}
  }