Sorted Multi-Adjoint Logic Programs: Termination Results and Applications

by C. V. Damásio , J. Medina , M. Ojeda-Aciego
Citations:16 - 5 self