TY  - RPRT
TI  - Lifted Inference with Linear Order Axiom
AU  - Jan Tóth
AU  - Ondřej Kuželka
PY  - 2022
UR  - https://arxiv.org/abs/2211.01164
ID  - 2211.01164
ER  -