Horn clause programs and recursive functions defined by systems of equations Jan Šebelík — 1982 Kybernetika