Rozšíření Datalogu k modelování XQuery, [http://ulita.ms.mff.cuni.cz/~bednarek/pdf/Bednarek-ITAT2008.pdf]
