@misc{indiciaea239f6aece9c,
  title = {Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi},
  author = {Grigoriy V. Bokov},
  year = {2014},
  doi = {10.1093/jigpal/jzu047},
  url = {https://arxiv.org/abs/1407.7010},
  note = {Source identifier: 1407.7010}
}