Para ello solo es necesario adaptar la forma normal skolemizada a la pecualiaridades de este método.