Termination proofs for logic programs. - Springer Verlag, 1990. - ( Lecture Notes in Artificial Intelligence ; 446).

1. Cote: 11780. En rayon: classement par collection.