@misc{indiciae3fbeeb0df0ed,
  title = {The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable},
  author = {Joël Adler},
  year = {2017},
  url = {https://arxiv.org/abs/1203.3155},
  note = {Source identifier: 1203.3155}
}