Volver atrás Publicación
Iborra López José, Vidal Oriola Germán Francisco
2009
Goal-directed and Relative Dependency Pairs for Proving the Termination of Narrowing