Giora Slutzki Finite State Relational Programs. 393-409 1982 18 Acta Inf. db/journals/acta/acta18.html#Slutzki82 http://dx.doi.org/10.1007/BF00289577