The Complexity of Reversal-Bounded Model-Checking
scientific article