Reducing the Arity of Recursive Predicates by Realigning Some Predicates.
X. Du, and N. Ishii. Deductive Databases / Abduction in Deductive Databases, volume 266 of GMD-Studien, page 57-69. Gesellschaft für Mathematik und Datenverarbeitung MbH, (1995)