A procedural semantics for multi-adjoint logic programming (0)

by J Medina, M Ojeda-Aciego, P 2001b Vojtáš
Venue:In Progress in Artificial Intelligence (EPIA’01), P. Brazdil and