External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations

Yuliya Lierler, Vladimir Lifschitz. Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. In James P. Delgrande, Wolfgang Faber, editors, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings. Volume 6645 of Lecture Notes in Computer Science, pages 205-210, Springer, 2011. [doi]

Authors

Yuliya Lierler

This author has not been identified. Look up 'Yuliya Lierler' in Google

Vladimir Lifschitz

This author has not been identified. Look up 'Vladimir Lifschitz' in Google
runs on