New (and old) proof systems for lattice problems
scientific article; zbMATH DE number 6876144