Capturing Stationary and Regular Extensions with Reiter's Extensions (2000)
  • BOOKTITLE:
  • Logics in Artificial Intelligence, European Workshop, JELIA 2000
  • PAGES:
  • 102--117
[BibTex]