A Partial Evaluation Procedure for Logic Programs. - Kerima Benkerimi; John W. Lloyd (NACLP, 1990)

Object-Oriented Programming in Gödel: An Experiment. - Kerima Benkerimi; Patricia M. Hill (META, 1992)

Semi-Naive Evaluation for Hyperlog, a Graph-Based Language for Complex Objects. - Kerima Benkerimi; Alexandra Poulovassilis (Rules in Database Systems, 1993)

Supporting Transformations for the Partial Evaluation of Logic Programs. - Kerima Benkerimi; Patricia M. Hill (J. Log. Comput., 1993)

Implementation of a Graph-Based Data Model for Complex Objects. - Mark Levene; Alexandra Poulovassilis; Kerima Benkerimi; Sara Schwartz; Eran Tuv (SIGMOD Rec., 1993)

Virtual Polysemy. - Antonio Sanfilippo; Kerima Benkerimi; Dagmar Dwehus (COLING, 1994)

Partial Deduction of Updateable Definite Logic Programs. - Kerima Benkerimi; John C. Shepherdson (J. Log. Program., 1994)