@misc{indiciae0c9c51be43d3,
  title = {A syntactic approach to the MacNeille completion of \$\textbackslash{}boldΛ\textasciicircum{}\{\textbackslash{}ast\}\$, the free monoid over an ordered alphabet \$\textbackslash{}bold Λ\$},
  author = {Hans-Jürgen Bandelt and Maurice Pouzet},
  year = {2018},
  url = {https://arxiv.org/abs/1712.08516},
  note = {Source identifier: 1712.08516}
}