@techreport{agre2006guide,
  title={INFRAWEBS Axiom Editor User's Guide},
  author={Agre, Gennady and Kormushev, Petar and Dilov, Ivan},
  institution={Institute of Information Technologies, Bulgarian Academy of Sciences},
  year={2006},
  url = {https://kormushev.com/papers/Agre_INFRAWEBS-2006.pdf}
}