Copyright for conj.3 :
Copyright 2002 Walter Harms (walter.harms@informatik.uni-oldenburg.de)
License for conj.3 :
Distributed under GPL