@Article{OS85, Author = "Ohlbach, H.J. and Schmidt-Schauss M.", Year = "1985", Title = "{The Lion and the Unicorn}", Journal = "Journal of Automated Reasoning", Volume = "1", Number = "3", Pages = "327-332", Comment = "TPTPRef" }