Egon Börger
发表
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
Egon Börger,
Egon Börger,
1974
.
Egon Börger,
Dieter Rodding,
Egon Börger,
1985
.
Egon Börger,
1973
.