An inference engine for propositional two-valued logic based on the radical membership problem | Publicación