Logic Programming: Formal Methods and Practical Applications. 1995.
@book{beierleP95, title = {Logic Programming: Formal Methods and Practical Applications}, year = {1995}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/beierleP95}, cites = {0}, citedby = {0}, }