Graphs as Data in Prolog Programs. - Jan Sebelík; Petr Stepánek (ICLP, 1982)

Horn clause programs and recursive functions defined by systems of equations. - Jan Sebelík (Kybernetika, 1982)