Binary Speed Up for Logic Programs. - Jan Hruza; Petr Stepánek (Computational Logic, 2000)

Speedup of Logic Programs by Binarization and Partial Deduction. - Jan Hruza; Petr Stepánek (Theory Pract. Log. Program., 2004)