On chase termination beyond stratification (0)

by G Lausen, M Meier, M Schmidt
Venue:CoRR