Efficient Model Construction for Horn Logic with VLog - System Description.

Jacopo Urbani, Markus Krtzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral

Browse the full CADE paper archive.