Unification Factoring for Efficient Execution of Logic Programs.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren

Browse the full POPL paper archive.