@article{ECCC-TR97-007,
  title = {Exponential Lower Bounds for Semantic Resolution},
  author = {Stasys Jukna},
  year = {1997},
  url = {http://eccc.hpi-web.de/eccc-reports/1997/TR97-007/index.html},
  researchr = {https://researchr.org/publication/ECCC-TR97-007},
  cites = {0},
  citedby = {0},
  journal = {Electronic Colloquium on Computational Complexity (ECCC)},
  volume = {4},
  number = {7},
}