EasyChair Smart Slide
Efficient Model Construction for Horn Logic with VLog: System Description
Efficient Model Construction for Horn Logic with VLog: System Description