Computing the types of the relationships between autonomous systems
a linear - time algorithm for testing the truth of certain quantified boolean formulas .