Vol-3810⫷ Vol-3811 ⫸Vol-3812
urn:nbn:de:0074-3811-0


Vol-3811/paper110⫷Vol-3811/paper250⫸Vol-3811/paper150
Jan-Georg Smaus

Proving the Existence of Stable Assignments in Democratic Forking Using Isabelle/HOL