Answer Set Programming and Bounded Model Checking (2001)

AUTHORS:

Heljanko Keijo , Niemelä Ilkka

  • BOOKTITLE:
  • PAGES:
  • 90-96