@phdthesis{Wichert2001, author = {Carl-Alexander Wichert}, title = {ULTRA - A Logic Transaction Programming Language}, school = {Universit{\"a}t Passau}, year = {2001}, }