On Termination of a Tabulation Procedure for Residuated Logic Programming

Authors

Carlos Viegas Damásio, Manuel Ojeda-Aciego,