TY  - RPRT
TI  - Resolution for Constrained Pseudo-Propositional Logic
AU  - Ahmad-Saher Azizi-Sultan
PY  - 2023
DO  - 10.5391/ijfis.2025.25.3.343
UR  - https://arxiv.org/abs/2306.06630
ID  - 2306.06630
ER  -