Keyword:Reducibility constraints

Papers
Reducibility Constraints in Superposition Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint no. 12142