Atomless Boolean algebras computable in polynomial time
scientific article