The Complexity of Model Checking Multi-stack Systems | IEEE Conference Publication | IEEE Xplore