© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Detecting and Exploiting Determinacy in Logic Programs
P Hill and A King
Computational Logic Newsletter, 4(1):182-196, January 1998.Bibtex Record
@article{1324, author = {P Hill and A King}, title = {{Detecting and Exploiting Determinacy in Logic Programs}}, month = {January}, year = {1998}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1998/1324}, publication_type = {article}, submission_id = {9_1011614645}, journal = {Computational Logic Newsletter}, volume = {4}, number = {1}, }