Some useful conversions
Christopher John Hogger · 1990
Abstract In the logic programming context some species of conversion are particularly common. To perform these conversions it is easier to follow pre-defined schemata than to work through all the stages of the algorithm previously described.