Pl@:umer L. Termination proofs for logic programs : материал технической информации / L.Pl@:umer, 1990. - 142 p. - Текст : непосредственный.