DMCA

Disjunctive Normal Form for Event-Recording Logic

by Omer L , Ry Nguena Timo