@inproceedings{MNU:TacErgo,
  title = "A Tactic Language for {Ergo}",
  author = "A. Martin and R. Nickson and M. Utting",
  year = "1997",
  address = "Singapore",
  booktitle = "Formal Methods Pacific '97",
  editor = "Lindsay Groves and Steve Reeves",
  isbn = "981-3083-31-X",
  keywords = "tactics,user interface",
  month = "jul",
  note = "Also appears as TR97-16, Software Verification Research Centre, The University of Queensland, QLD 4072, Australia",
  publisher = "Springer-Verlag",
  series = "Springer Series in Discrete Mathematics and Theoretical Computer Science",
}