A Constructor-Based Reachability Logic for Rewrite Theories.

Stephen Skeirik, Andrei Stefanescu, Jos Meseguer

Browse the full LOPSTR paper archive.