J. Baptista Luís Monteiro Handling Calls to Missing Predicates. 511-522 1996 conf/agp/1996 APPIA-GULP-PRODE db/conf/agp/agp1996.html#BaptistaM96