Mantis:S graph imp resolution title/en

Synthesis graphs by resolution