Decision Procedures for Quantified Non-Monotonic Logic (1988)

AUTHORS:

Niemelä Ilkka

  • BOOKTITLE:
  • PAGES:
  • 418-427