A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems.

Stefan Ciobaca, Dorel Lucanu

Browse the full CADE paper archive.