@article{BSL3_1_Epstein_Horn1, author = {George EPSTEIN and Alfred HORN}, title = {Propositional Calculi Based on Subresiduation}, journal = {Bulletin of the Section of Logic}, volume = {3}, number = {1}, year = {1974}, pages = {41--42} }