TY  - RPRT
TI  - A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product
AU  - Pietro Ursino
PY  - 2019
UR  - https://arxiv.org/abs/1902.10511
ID  - 1902.10511
ER  -