@misc{indiciae1cd0f9fcf4f3,
  title = {Proposition Algebra with Projective Limits},
  author = {J. A. Bergstra and A. Ponse},
  year = {2010},
  doi = {10.1145/1929954.1929958},
  url = {https://arxiv.org/abs/0807.3648},
  note = {Source identifier: 0807.3648}
}