Author Jan Šebelík

Articles
J. Šebelík Horn clause programs and recursive functions defined by systems of equations Volume 18 no. 2, 106-120, 1982