Ashok K. Chandra, David Harel. Horn Clauses Queries and Generalizations. Journal of Logic and Algebraic Programming, 2(1):1-15, 1985.
@article{ChandraH85, title = {Horn Clauses Queries and Generalizations}, author = {Ashok K. Chandra and David Harel}, year = {1985}, researchr = {https://researchr.org/publication/ChandraH85}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {2}, number = {1}, pages = {1-15}, }