On the Relationship Between Non-Horn Magic Sets and Relevancy Testing.

Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa

Browse the full CADE paper archive.