@misc{indiciae6d5fbd8ab24a, title = {Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming}, author = {Ján Komara}, year = {2022}, url = {https://arxiv.org/abs/2207.09142}, note = {Source identifier: 2207.09142} }