Achim Weigel Rainer Bleisinger Efficient Computation of Solutions for Contradictory Time Interval Networks. 122-131 1992 conf/ki/1992 GWAI db/conf/ki/gwai92.html#WeigelB92