TY  - RPRT
TI  - Reasoning with maximal consistent signatures
AU  - Matthias Thimm
AU  - Jandson Santos Ribeiro Santos
PY  - 2024
UR  - https://arxiv.org/abs/2408.17190
ID  - 2408.17190
ER  -