Extending Deductive Database Languages by Embedded Implications.

Burkhard Freitag

Browse the full LPAR paper archive.