"Efficient Tabling of Structured Data Using Indexing and Program ..."

Christian Theil Have, Henning Christiansen (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics