{"id":"https://openalex.org/W2606333453","doi":"https://doi.org/10.1007/s10472-017-9546-x","title":"To be fair, use bundles","display_name":"To be fair, use bundles","publication_year":2017,"publication_date":"2017-04-19","ids":{"openalex":"https://openalex.org/W2606333453","doi":"https://doi.org/10.1007/s10472-017-9546-x","mag":"2606333453"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-017-9546-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-017-9546-x","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016050623","display_name":"John C. McCabe-Dansted","orcid":"https://orcid.org/0000-0003-4343-4119"},"institutions":[{"id":"https://openalex.org/I177877127","display_name":"The University of Western Australia","ror":"https://ror.org/047272k79","country_code":"AU","type":"education","lineage":["https://openalex.org/I177877127"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"John McCabe-Dansted","raw_affiliation_strings":["School of Computer Science and Software Engineering, The University of Western Australia, 35 Stirling Highway, Crawley, Perth, WA, 6009, Australia","School of Computer Science and Software Engineering, The University of Western Australia, Perth, Australia"],"raw_orcid":"https://orcid.org/0000-0003-4343-4119","affiliations":[{"raw_affiliation_string":"School of Computer Science and Software Engineering, The University of Western Australia, 35 Stirling Highway, Crawley, Perth, WA, 6009, Australia","institution_ids":["https://openalex.org/I177877127"]},{"raw_affiliation_string":"School of Computer Science and Software Engineering, The University of Western Australia, Perth, Australia","institution_ids":["https://openalex.org/I177877127"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036930915","display_name":"Mark Reynolds","orcid":"https://orcid.org/0000-0002-5415-0544"},"institutions":[{"id":"https://openalex.org/I177877127","display_name":"The University of Western Australia","ror":"https://ror.org/047272k79","country_code":"AU","type":"education","lineage":["https://openalex.org/I177877127"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Mark Reynolds","raw_affiliation_strings":["School of Computer Science and Software Engineering, The University of Western Australia, 35 Stirling Highway, Crawley, Perth, WA, 6009, Australia","School of Computer Science and Software Engineering, The University of Western Australia, Perth, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Software Engineering, The University of Western Australia, 35 Stirling Highway, Crawley, Perth, WA, 6009, Australia","institution_ids":["https://openalex.org/I177877127"]},{"raw_affiliation_string":"School of Computer Science and Software Engineering, The University of Western Australia, Perth, Australia","institution_ids":["https://openalex.org/I177877127"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5016050623","https://openalex.org/A5036930915"],"corresponding_institution_ids":["https://openalex.org/I177877127"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.2393,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54573159,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"80","issue":"3-4","first_page":"317","last_page":"364"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ctl*","display_name":"CTL*","score":0.8810292482376099},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.7288945317268372},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.633826494216919},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5980973839759827},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5615336894989014},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5575903058052063},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.5279561281204224},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.5004937648773193},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.45137184858322144},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31240302324295044},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2329258918762207}],"concepts":[{"id":"https://openalex.org/C147969180","wikidata":"https://www.wikidata.org/wiki/Q5014579","display_name":"CTL*","level":4,"score":0.8810292482376099},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.7288945317268372},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.633826494216919},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5980973839759827},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5615336894989014},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5575903058052063},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5279561281204224},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.5004937648773193},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.45137184858322144},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31240302324295044},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2329258918762207},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C202751555","wikidata":"https://www.wikidata.org/wiki/Q221681","display_name":"In vitro","level":2,"score":0.0},{"id":"https://openalex.org/C154317977","wikidata":"https://www.wikidata.org/wiki/Q376266","display_name":"Cytotoxic T cell","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10472-017-9546-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-017-9546-x","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/c74cd515-d4e8-415d-8ba4-019700da1582","is_oa":false,"landing_page_url":"https://research-repository.uwa.edu.au/en/publications/c74cd515-d4e8-415d-8ba4-019700da1582","pdf_url":null,"source":{"id":"https://openalex.org/S4306402492","display_name":"UWA Profiles and Research Repository (UWA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177877127","host_organization_name":"The University of Western Australia","host_organization_lineage":["https://openalex.org/I177877127"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"McCabe-Dansted , J & Reynolds , M 2017 , ' To be fair, use bundles ' , Annals of Mathematics and Artificial Intelligence , vol. 80 , no. 3-4 , pp. 317-364 . https://doi.org/10.1007/s10472-017-9546-x","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8942091817","display_name":null,"funder_award_id":"DP140103365","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"}],"funders":[{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1489630028","https://openalex.org/W1530582609","https://openalex.org/W1534088363","https://openalex.org/W1590732223","https://openalex.org/W1975657455","https://openalex.org/W1977377326","https://openalex.org/W1983538726","https://openalex.org/W1989372141","https://openalex.org/W1990183105","https://openalex.org/W2004306067","https://openalex.org/W2041403185","https://openalex.org/W2042977795","https://openalex.org/W2043154866","https://openalex.org/W2053068495","https://openalex.org/W2056755329","https://openalex.org/W2067441543","https://openalex.org/W2069979244","https://openalex.org/W2075664249","https://openalex.org/W2080448334","https://openalex.org/W2084910510","https://openalex.org/W2112476716","https://openalex.org/W2127075564","https://openalex.org/W2150119568","https://openalex.org/W2157319504","https://openalex.org/W2343090072","https://openalex.org/W4255221783","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2178250883","https://openalex.org/W4285254379","https://openalex.org/W146107827","https://openalex.org/W1973554590","https://openalex.org/W1987761485","https://openalex.org/W4247671148","https://openalex.org/W2963209892","https://openalex.org/W2073812501","https://openalex.org/W4214723139","https://openalex.org/W2381825341"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2025-10-10T00:00:00"}