Stalmarck's Method versus Resolution: A Comparative Theoretical Study