TY  - RPRT
TI  - A general proof system for logics of imperfect information
AU  - Pietro Galliani
PY  - 2012
UR  - https://arxiv.org/abs/1201.5811
ID  - 1201.5811
ER  -