Robert Nieuwenhuis Fernando Orejas Clausal Rewriting: Applications and Implementation. 204-219 1990 conf/adt/1990 ADT db/conf/adt/adt1990.html#NieuwenhuisO90 http://dx.doi.org/10.1007/3-540-54496-8_11