Evaluate the collective function of references cited together in a given text segment.
Classify their combined role into one of the following categories: 'method', 'background', or 'result'.

Text:In terms of computational complexity, the model checking task on ATL can be done in polynomial time wrt to the size of the game structure [1].
Category: