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