On finitely recursive programs.

Sabrina Baselice Piero A. Bonatti Giovanni Criscuolo

Published in: Theory Pract. Log. Program. (2009)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
relational databases
case study
metamodel