Romano, S., Sigman, M., & Figueira, S. (2013). $LT^2C^2$ : A language of thought with Turing-computable Kolmogorov complexity. Papers in Physics, 5, 050001. https://doi.org/10.4279/pip.050001