Sorted Multi-adjoint Logic Programs: Termination Results and Applications.

Carlos Viegas Damsio, Jess Medina, Manuel Ojeda-Aciego

Browse the full JELIA paper archive.