Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt}
scientific article; zbMATH DE number 7437055