A Tabulation Proof Procedure for Residuated Logic Programming

Authors

Carlos Viegas Damásio, Lorenza Saitta, Manuel Ojeda-Aciego,