SEARCH Articles Figures Tables Jfor and Jrev for Various Junctive Disjunctive Transformations [Publishers Imprint]