@TECHREPORT{LKCMUCS07155,
  AUTHOR =       {Langmead, C.J. and Jha, S.K.},
  TITLE =        {Symbolic Approaches for Finding Control Strategies in Boolean Networks},
  INSTITUTION =  {Carnegie Mellon University},
  YEAR =         {2007},
  number =       {CMU-CS-07-155R},
}