David Zook, E. Pasalic, B. Sarna-Starosta 16 10. 1. 2009. Typed Datalog International Symposium on Practical Aspects of Declarative Languages Computer Science + 1
