Compositionality in SLD-derivations and their Abstractions.

Marco Comini Giorgio Levi Maria Chiara Meo

Published in: GULP-PRODE (1995)

Keyphrases

inference rules
high level
database
information systems
data structure
abstract data types