TY  - RPRT
TI  - A Constructor-Based Reachability Logic for Rewrite Theories
AU  - Stephen Skeirik
AU  - Andrei Stefanescu
AU  - José Meseguer
PY  - 2017
UR  - https://arxiv.org/abs/1709.05045
ID  - 1709.05045
ER  -