TY - GEN AU - Alonso Pardo,M.A. TI - Dealing with non-termination in DCGs ER -