Changing concurrent rule calculus to use only epipairs that satisfy the glue conditions without nacs
Changing concurrent rule calculus to use only epipairs that satisfy the glue conditions without nacs

Verites/verigraph,Verites/verigraph,Verites/verigraph