Loop Checking for Reduced SLD-derivations.

Filomena Ferrucci Giuliano Pacini Maria I. Sessa

Published in: GULP-PRODE (1) (1994)

Keyphrases

inference rules
real time
case study
database systems
data structure
cooperative
search algorithm