On the Safe Termination of PROLOG Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop. On the Safe Termination of PROLOG Programs. In ICLP. pages 353-368, 1989.

@inproceedings{AptBK89,
  title = {On the Safe Termination of PROLOG Programs},
  author = {Krzysztof R. Apt and Roland N. Bol and Jan Willem Klop},
  year = {1989},
  tags = {Prolog, termination},
  researchr = {https://researchr.org/publication/AptBK89},
  cites = {0},
  citedby = {0},
  pages = {353-368},
  booktitle = {ICLP},
}

runs on WebDSL