"Non-Monotonic Extensions of Logic Programming, NMELP '96" - читать интересную книгу автора (Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski)