@misc{79629,
  author = {Tim Palmer},
  title = {Trading complexity for resolution},
  year = {2016},
  month = {2016},
  language = {eng},
}