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 Paper › peer-review
34
Citations
(Scopus)