Query-subquery nets for Horn knowledge bases in first-order logic

Son Thanh Cao, Linh Anh Nguyen. Query-subquery nets for Horn knowledge bases in first-order logic. J. Information Telecommunication, 1(1):79-99, 2017. [doi]

@article{CaoN17-0,
  title = {Query-subquery nets for Horn knowledge bases in first-order logic},
  author = {Son Thanh Cao and Linh Anh Nguyen},
  year = {2017},
  doi = {10.1080/24751839.2017.1295664},
  url = {https://doi.org/10.1080/24751839.2017.1295664},
  researchr = {https://researchr.org/publication/CaoN17-0},
  cites = {0},
  citedby = {0},
  journal = {J. Information Telecommunication},
  volume = {1},
  number = {1},
  pages = {79-99},
}