TY  - RPRT
TI  - "ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification
AU  - Hao Ren
AU  - Ratnesh Kumar
AU  - Matthew Clark
PY  - 2021
UR  - https://arxiv.org/abs/2103.05776
ID  - 2103.05776
ER  -