Scalable anytime algorithms for learning fragments of linear temporal logic
scientific article; zbMATH DE number 7793099