Michael Hanus. From Logic to Functional Logic Programs. TPLP, 22(4):538-554, 2022. [doi]
@article{Hanus22, title = {From Logic to Functional Logic Programs}, author = {Michael Hanus}, year = {2022}, doi = {10.1017/S1471068422000187}, url = {https://doi.org/10.1017/S1471068422000187}, researchr = {https://researchr.org/publication/Hanus22}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {22}, number = {4}, pages = {538-554}, }