6. ILP 1996: Stockholm, Sweden

Invited Paper

Experiments and Applications

Implementations

Theory

a service of Schloss Dagstuhl - Leibniz Center for Informatics