18 citations · 32 across the 4 of their papers we have counts for
1 paper · 1 filter
Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach
Clause sets saturated by hierarchic ordered resolution do not offer a model representation that can be effectively queried, in general. They only offer the guarantee of the existen…