6. ILP 1996: Stockholm, Sweden

Invited Paper

Experiments and Applications

Implementations

Theory

maintained by Schloss Dagstuhl LZI, founded at University of Trier