TY - RPRT TI - Boolean Lifting Property for Residuated Lattices AU - George Georgescu AU - Claudia Muresan PY - 2013 UR - https://arxiv.org/abs/1311.5135 ID - 1311.5135 ER -