Vol-1516⫷ Vol-1517 ⫸Vol-1518
urn:nbn:de:0074-1517-0


Vol-1517/JOWO-15_ontolp_paper_7⫷Vol-1517/JOWO-15_ontolp_paper_8⫸Vol-1517/JOWO-15_ontolp_paper_9
Cristina FeierThomas Eiter

Reasoning with Forest Logic Programs Using Fully Enriched Automata