Fol

<dependency>
    <groupId>net.sf.tweety.logics</groupId>
    <artifactId>fol</artifactId>
    <version>1.17</version>
</dependency>

compile group: 'net.sf.tweety.logics', name: 'fol', version: '1.17'

compile 'net.sf.tweety.logics:fol:1.17'

libraryDependencies += "net.sf.tweety.logics" % "fol" % "1.17"

<dependency org="net.sf.tweety.logics" name="fol" rev="1.17"/>

@Grapes(
            @Grab(group='net.sf.tweety.logics', module='fol', version='1.17')
        )

[net.sf.tweety.logics/fol "1.17"]

'net.sf.tweety.logics:fol:jar:1.17'