DEDUCTIVE DATABASES. - Minker, Jack (Encyclopedia of Electrical & Electronics Engineering, 1999)