On the Deductive System of the Order of an Equationally Orderable Quasivariety | Publicación