@Article{Ohl85, Author = "Ohlbach, H.J.", Year = "1985", Title = "{Predicate Logic Hacker Tricks}", Journal = "Journal of Automated Reasoning", Volume = "1", Number = "4", Pages = "435-440", Comment = "TPTPRef" }