Sergio Greco Nicola Leone Francesco Scarcello DATALOG with Nested Rules. 52-65 http://link.springer.de/link/service/series/0558/bibs/1471/14710052.htm 1997 conf/lpkr/1997 LPKR db/conf/lpkr/lpkr97.html#GrecoLS97