@Article{FH01, Author = "Fitelson, B. and Harris, K.", Year = "2001", Title = "{Distributivity in LN0 and other Sentential Logics}", Journal = "Journal of Automated Reasoning", Volume = "27", Number = "2", Pages = "141-156", Comment = "TPTPRef" }