Formation of the D-basis from implicational systems using Simplification logic | Publicación