TY - RPRT TI - On the share of closed IL formulas which are also in GL AU - Vedran Čačić AU - Vjekoslav Kovač PY - 2015 DO - 10.1007/s00153-015-0438-7 UR - https://arxiv.org/abs/1309.3408 ID - 1309.3408 ER -