@inbook{4ee52a52c6434bd59ab7f68ee10bcdba,
title = "Conditional circular coinductive rewriting with case analysis",
abstract = "We argue for an algorithmic approach to behavioral proofs, review the hidden algebra approach, develop circular coinductive rewriting for conditional goals, extend it with case analysis, and give some examples.",
author = "Goguen, {Joseph A.} and Kai Lin and Grigore Ro{\c s}u",
year = "2003",
doi = "10.1007/978-3-540-40020-2_12",
language = "English (US)",
isbn = "3540205373",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "216--232",
editor = "Martin Wirsing and Dirk Pattinson and Rolf Hennicker",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}