Dexter Kozen. Set Constraints and Logic Programming. Inf. Comput., 142(1):2-25, 1998.
@article{Kozen98, title = {Set Constraints and Logic Programming}, author = {Dexter Kozen}, year = {1998}, tags = {constraints, logic programming, programming, logic}, researchr = {https://researchr.org/publication/Kozen98}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {142}, number = {1}, pages = {2-25}, }