Fast offline partial evaluation of logic programs

Michael Leuschel, Germán Vidal. Fast offline partial evaluation of logic programs. Inf. Comput., 235:70-97, 2014. [doi]

Abstract

Abstract is missing.