Checking monotone Boolean duality with limited nondeterminism

TitleChecking monotone Boolean duality with limited nondeterminism
Publication TypeMiscellaneous
Year of Publication2003
AuthorsKavvadias, DJ, Stavropoulos, EC