Dominoes and the Complexity of Subclasses of Logical Theories

@article{Grdel1989DominoesAT,
  title={Dominoes and the Complexity of Subclasses of Logical Theories},
  author={Erich Gr{\"a}del},
  journal={Ann. Pure Appl. Logic},
  year={1989},
  volume={43},
  pages={1-30}
}