DIBT was made in one week ;) The original algorithm did not break the
partial orderings that *could* result from the application of DisAO. However, the 
solution is simple and the correction was added in successive publications 
(PhD thesis, TR, ICTAI). Context checking was also extended to include the whole 
context and not just the receiver's one. With these minor changes the algorithm 
becomes complete as show in later publications.
The authors.