Deductive

<dependency>
    <groupId>net.sf.tweety.arg</groupId>
    <artifactId>deductive</artifactId>
    <version>1.17</version>
</dependency>

compile group: 'net.sf.tweety.arg', name: 'deductive', version: '1.17'

compile 'net.sf.tweety.arg:deductive:1.17'

libraryDependencies += "net.sf.tweety.arg" % "deductive" % "1.17"

<dependency org="net.sf.tweety.arg" name="deductive" rev="1.17"/>

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

[net.sf.tweety.arg/deductive "1.17"]

'net.sf.tweety.arg:deductive:jar:1.17'