Volver atrás Publicación
Tamarit Muñoz Salvador, Vidal Oriola Germán Francisco
2009
A Fast Procedure for the Strong Termination Analysis of Logic Programs