The complexity of counting models of linear-time temporal logic
scientific article; zbMATH DE number 6860707
scientific article