@misc{indiciae5039ba6814ad,
  title = {INFRAWEBS axiom editor - a graphical ontology-driven tool for creating complex logical expressions},
  author = {Gennady Agre and Petar Kormushev and Ivan Dilov},
  year = {2012},
  url = {https://arxiv.org/abs/0904.0293},
  note = {Source identifier: 0904.0293}
}