On automatic and decidable linear orderings
scientific article; zbMATH DE number 6508924