@inproceedings{Kroger76,
  title = {Logical Rules of Natural Reasoning about Programs},
  author = {Fred Kröger},
  year = {1976},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/Kroger76},
  cites = {0},
  citedby = {0},
  pages = {87-98},
  booktitle = {ICALP},
}