KMS conjecture on finite presentability of finitely generated Lambda-free groups

Let $\Lambda$ be an ordered abelian group, and let $G$ be a finitely generated group acting freely on a $\Lambda$-tree; such a group is called $\Lambda$-free. KMS conjecture. Every finitely generated $\Lambda$-free group is finitely presented. If true, this would imply that all finitely generated $\Lambda$-free groups are $\mathbb{R}^n$-free. The source presents this as an open conjecture attributed to KMS12.