@article{agre2006infrawebs,
  title={INFRAWEBS Axiom Editor - A graphical ontology-driven tool for creating complex logical expressions},
  author={Agre, Gennady and Kormushev, Petar and Dilov, Ivan},
  journal={International Journal of Information Theories and Applications},
  volume={13},
  number={2},
  pages={169--178},
  month={November},
  year={2006},
  url = {https://kormushev.com/papers/Agre_IJITA-2006.pdf}
}