@misc{indiciaefa50762978e0,
  title = {A Linear Programming Method for Finding Orthocomplements in Finite Lattices},
  author = {George Parfionov and Roman Zapatrin},
  year = {2006},
  url = {https://arxiv.org/abs/math/0611455},
  note = {Source identifier: math/0611455}
}