CLASSIC'CL: An Integrated ILP System.

Christian Stolle, Andreas Karwath, Luc De Raedt

Browse the full DIS paper archive.