A tabulation procedure for first-order residuated logic programs: soundness, completeness and optimisations

Authors

Carlos Viegas Damásio, Manuel Ojeda-Aciego,