The KL-ONE family - Woods, WA; Schmölze, JG (Comp Math AppI, 1992)
(23)