Sorted Multi-adjoint Logic Programs: Termination Results and Applications

João Leite, Carlos Viegas Damásio, Manuel Ojeda-Aciego

Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	3229
ISBN	3-540-23242-7
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	3229
ISBN	3-540-23242-7

Publication