TY  - RPRT
TI  - Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory)
AU  - Dennis Peuter
AU  - Philipp Marohn
AU  - Viorica Sofronie-Stokkermans
PY  - 2021
UR  - https://arxiv.org/abs/2107.02333
ID  - 2107.02333
ER  -