The representation and manipulation of the algorithmic probability measure for problem solving.
scientific article; zbMATH DE number 1005863