@techreport{Stoller99b,
  author="Scott D. Stoller",
  title="A Reduction for Automated Analysis of Authentication Protocols",
  booktitle="Workshop on Formal Methods and Security Protocols",
  year = 1999,
  month = jul,
  note="Also appeared as Indiana University, Computer Science Dept.,
        Technical Report 520, Dec. 1998."
}

@techreport{Stoller98d,
  author = "Scott D. Stoller",
  title = "A Reduction for Automated Verification of Authentication Protocols",
  institution="Computer Science Dept., Indiana University",
  number=520,
  year = 1998,
  month = dec
}