A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations | Publicación