TY  - RPRT
TI  - Towards a Decidable LogicWeb via Length-Bounded Derivations
AU  - Keehang Kwon
AU  - Daeseong Kang
PY  - 2017
UR  - https://arxiv.org/abs/1701.03615
ID  - 1701.03615
ER  -