Reasoning with Forest Logic Programs Using Fully Enriched Automata
Cristina Feier and Thomas Eiter
Book Title
Int. Workshop on Ontologies and Logic Programming for Query Answering (ONTOLP)
Year
2015
Cristina Feier and Thomas Eiter