Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving.

Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura

Browse the full CADE paper archive.