@phdthesis{Wichert2000, author = {Wichert, Carl-Alexander}, title = {ULTRA - A Logic Transaction Programming Language}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-105}, school = {Universit{\"a}t Passau}, year = {2000}, abstract = {Rule-based language for the specification of complex database updates and transactions. Formal treatment of the syntax and the declarative semantics}, subject = {Programmierlogik}, language = {en} }