Soundness and Completeness of Partial Deductions for Well-Founded Semantics.

Halina Przymusinska, Teodor C. Przymusinski, Hirohisa Seki

Browse the full LPAR paper archive.