@inproceedings{Padawitz86,
  title = {The Use of Terminal Semantics for Disproving Inductive Theorems},
  author = {Peter Padawitz},
  year = {1986},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Padawitz86},
  cites = {0},
  citedby = {0},
  booktitle = {ADT},
}