@incollection{ sheeran98how,
  author = "Mary Sheeran and Arne Bor{\"a}lv",
  title = "How to Prove Properties of Recursively Defined Circuits Using {S}t{\aa}lmarck's Method",
  booktitle = "Informal Proceedings Workshop on Formal Techniques for Hardware and Hardware-Like Systems, {FTH}'98, Marstrand, Sweden, 19 June 1998",
  publisher = "Dept.\ of Computing Science, Chalmers Univ.\ of Technology and Univ.\ of G{\"o}teborg",
  editor = "Mary Sheeran and Bernhard M{\"o}ller",
  year = "1998",
}