Rilla Network
Rilla on Checker thesis
