TY - RPRT TI - A Linear Programming Method for Finding Orthocomplements in Finite Lattices AU - George Parfionov AU - Roman Zapatrin PY - 2006 UR - https://arxiv.org/abs/math/0611455 ID - math/0611455 ER -