@inproceedings{ fk:strategies06,
  author        = "Florent Kirchner and C\'esar Mu{\~n}oz",
  title         = "{PVS\#}: Streamlined Tacticals for {PVS}",
  booktitle     = "Proc. 6th Int. Workshop on Strategies in Automated Deduction",
  series        = "Electronic Notes in Theoretical Computer Science",
  publisher     = "Elsevier Science",
  year          = 2007,
  volume        = "174/11",
  pages         = "47--58",
}