Geometric resolution: A proof procedure based on finite model search

Hans De Nivelle^*, Jia Meng

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review