William Demopoulos. The Homogeneous Form of Logic Programs with Equality. Notre Dame Journal of Formal Logic, 31(2):291-303, 1990.
@article{Demopoulos90, title = {The Homogeneous Form of Logic Programs with Equality}, author = {William Demopoulos}, year = {1990}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Demopoulos90}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {31}, number = {2}, pages = {291-303}, }