@inproceedings{conf/iwfm/BoltonL03,
  author = "Christie Bolton and Gavin Lowe",
  booktitle = "6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003",
  editor = "Joseph M. Morris and Benjamin Aziz and Fr{\'e}d{\'e}ric Oehl",
  publisher = "BCS",
  series = "Workshops in Computing",
  title = "On the Automatic Verification of Non-Standard Measures of Consistency",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Papers/IWFM.ps",
  year = "2003",
}