EasyChair Smart Slide
A simple functional presentation and an inductive correctness proof of the Horn algorithm
A simple functional presentation and an inductive correctness proof of the Horn algorithm