Certifying Standard and Stratified Datalog Inference Engines in SSReflect.

Vronique Benzaken, Evelyne Contejean, Stefania Dumbrava

Browse the full ITP paper archive.