@inproceedings{fk:strata03,
  author	= "Florent Kirchner",
  editor	= "Mila Archer et al.",
  title		= "{Coq} Tacticals and {PVS} Strategies: A Small-Step Semantics",
  pages		= "69--83",
  booktitle	= "Design and Application of Strategies/Tactics in Higher Order Logics",
  publisher	= "{NASA}",
  month		= sep,
  year		= 2003
}