Vitor Rocio José Gabriel Lopes Partial Parsing, Deduction and Tabling. 52-61 1998 TAPD ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/rocio.ps.gz db/conf/tapd/tapd98.html#RocioL98