An adequate reducibility concept for problems defined in terms of ordered binary decision diagrams - Meinel, Christoph; Slobodová, Anna (Univ. Trier, Mathematik, Informatik, 1996)
Keywords: Komplexitätstheorie; OBDD