Roni Khardon Heikki Mannila Dan Roth Reasoning with Examples: Propositional Formulae and Database Dependencies. 267-286 1999 36 Acta Inf. 4 http://link.springer.de/link/service/journals/00236/bibs/9036004/90360267.htm db/journals/acta/acta36.html#KhardonMR99