@unpublished{ShilovYi01awcl,
  author = "Nikolay Shilov and Kwangkeun Yi",
  title = "A Note on Model Checking Reuse",
  month = "August",
  year = "2001",
  note = "Has been accepted for presentation on 2$^{nd}$ Australasian Workshop on Computational Logic AWCL'01, 31 January - 1 February 2001, Gold Cost, Australia"
}