General A- and AX-Unification via Optimized.

Franz Baader Klaus U. Schulz

Published in: IWWERT (1991)

Keyphrases

special case
closely related
databases
mobile robot
database
real time
three dimensional
digital libraries
pairwise
higher order