Embedding Circumscriptive Theories in General Disjunctive Programs.

Chiaki Sakama, Katsumi Inoue

Browse the full LPNMR paper archive.