Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment.

Bartosz Bednarczyk

Browse the full JELIA paper archive.