Deduction in the Starburst Production Rule System (1991)

by J Widom
Venue:Report RJ 8135, IBM Research