@TechReport{pace:2003,
  author =   {G. J. Pace},
  title =    {A New Breadth-First Search Algorithm for Deciding SPDI Reachability},
  institution =  {Department of Computer Science \& AI, University of Malta},
  year =     {2003},
  OPTkey =   {},
  OPTtype =      {},
  number =   {CSAI2003-01},
  OPTaddress =   {},
  month =    {},
  OPTnote =      {},
  OPTannote =    {}
}