The number of 2-SAT functions
scientific article; zbMATH DE number 1910262