@article{compref206,
   author = {Levesque,HJ},
   year = {1988},
   title = {Logic and the Complexity of Reasoning},
   journal = {Journal of Philosophical Logic},
   volume = {17},
   pages = {355-389}
}