@misc{indiciae9c18088f6950,
  title = {Characterization of Strongly Equivalent Logic Programs in Intermediate Logics},
  author = {Dick de Jongh and Lex Hendriks},
  year = {2002},
  url = {https://arxiv.org/abs/cs/0206005},
  note = {Source identifier: cs/0206005}
}