@proceedings{Stavridou:1992:TPC,
  title = "Theorem Provers in Circuit Design: Proceedings of the {IFIP} {TC}10/{WG} 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience: {N}ijmegen, {T}he {N}etherlands, 22--24 {J}une 1992",
  year = "1992",
  booktitle = "Theorem Provers in Circuit Design: Proceedings of the {IFIP} {TC}10/{WG} 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience: {N}ijmegen, {T}he {N}etherlands, 22--24 {J}une 1992",
  editor = "V. Stavridou and T. F. Melham and R. T. Boute",
  isbn = "0-444-89686-4",
  issn = "0926-5473",
  publisher = "North-Holland",
  series = "IFIP Transactions A",
  volume = "10",
}