@article{708e96c76c7243e882ffb6df314b572a,
title = "Verifying procedural programs via constrained rewriting induction",
keywords = "Constrained term rewriting, inductive theorem proving, rewriting induction, lemma generation, program analysis",
author = "Carsten Fuhs and Kop, {Cynthia Louisa Martina} and Naoki Nishida",
year = "2017",
month = jun,
doi = "10.1145/3060143",
language = "English",
volume = "18",
journal = "ACM Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery, Inc.",
number = "2",
}