5 citations · 5 across the 2 of their papers we have counts for
1 paper · 2 filters
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
The chase procedure is a fundamental algorithmic tool in database theory with a variety of applications. A key problem concerning the chase procedure is all-instances termination:…