Testing computability by width-two OBDDs
scientific article; zbMATH DE number 6014339
scientific article