Extended Logic Programs with Default Assumptions.

Katsumi Inoue

Browse the full ICLP paper archive.