@misc{indiciae6e8260355636,
  title = {Lindenbaum method (propositional language)},
  author = {Alex Citkin and Alexei Muravitsky},
  year = {2016},
  url = {https://arxiv.org/abs/1609.07379},
  note = {Source identifier: 1609.07379}
}