@InProceedings{MA04strat,
  Title                    = {Reusable {PVS} Proof Strategies for Proving Abstraction Properties of {I}/{O} Automata},
  Author                   = {Sayan Mitra and Myla Archer},
  Booktitle                = {STRATEGIES 2004, IJCAR Workshop on strategies in automated deduction},
  Year                     = {2004},

  Address                  = {Cork, Ireland},
  Month                    = {July},

  Biburl                   = {http://users.crhc.illinois.edu/mitras/research.html},
  Keywords                 = {Automated deduction},
  Ppturl                   = {research/presentations/strategies04.pdf},
  Psfurl                   = {research/2004/strategies.ps.gz}
}