Reasoning with Forest Logic Programs Using Fully Enriched Automata.

Cristina Feier, Thomas Eiter

Browse the full LPNMR paper archive.