TY  - RPRT
TI  - A Note on Fourier-Motzkin Elimination with Three Eliminating Variables
AU  - Hao Xu
AU  - Kai-Kit Wong
AU  - Giuseppe Caire
PY  - 2022
UR  - https://arxiv.org/abs/2210.07924
ID  - 2210.07924
ER  -