An Implementation of Narrowing.

N. Alan Josephson Nachum Dershowitz

Published in: J. Log. Program. (1989)

Keyphrases

efficient implementation
database
mobile robot
management system
information systems
three dimensional
database systems
programming language
hardware implementation
implementation details