This paper provides equational ...... Couturat, and Ernst Schroeder.
@en