Copyright for conj.3:

Copyright 2002 Walter Harms (walter.harms@informatik.uni-oldenburg.de)

License for conj.3:

Distributed under GPL