Strong Equivalence of Logic Programs with Abstract Constraint Atoms (2011)

AUTHORS:

Liu Guohua , Goebel Randy , Janhunen Tomi , Niemelä Ilkka , You Jia-Huai

  • BOOKTITLE:
  • VOLUME:
  • 6645
  • SERIES:
  • Lecture Notes in Computer Science
  • PAGES:
  • 161-173