Equivalence of Logic Programs Under Updates.

Katsumi Inoue, Chiaki Sakama

Browse the full JELIA paper archive.