TY - JOUR T1 - Soundness and completeness proofs by coinductive methods JO - Journal of Automated Reasoning UR - http://dx.doi.org/10.1007/s10817-016-9391-3 PY - 2016/10/18 AU - Blanchette JC AU - Popescu A AU - Traytel D ED - DO - DOI: 10.1007/s10817-016-9391-3 PB - Springer Science and Business Media LLC VL - 58 IS - 1 SP - 149 EP - 179 Y2 - 2025/04/04 ER -