From wall spaces to CAT(0) cube complexes by Indira Chatterji and Graham Niblo (source code)

= From wall spaces to CAT(0) cube complexes by Indira Chatterji and Graham Niblo
{c}
{tag=Work by Indira Chatterji}
{tag=Work by Graham Niblo}
{title2=2003, revised 2004}

Author preprint: https://arxiv.org/abs/math/0309036v3

Full text: https://arxiv.org/pdf/math/0309036

Section 1, pages 2–3, defines finite-separation wallspaces and explicitly calls their wall-count function a pseudometric. The arXiv version is dated 4 October 2004; the PDF also displays a later compilation date, which is not used as publication metadata.