Reasoning with examples: propositional formulae and database dependencies (1999)
  • JOURNAL:
  • Acta Informatica
  • VOLUME:
  • 36
  • PAGES:
  • 267-286
[BibTex]